BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-91-488
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: THE STANFORD ADA STYLE CHECKER: AN APPLICATION OF THE ANNA
               TOOLS AND METHODOLOGY
        TYPE:: Technical Report
      AUTHOR:: Walicki, Michal
      AUTHOR:: Skakkebaek, Jens Ulrik
      AUTHOR:: Sankar, Sriram
        DATE:: August 1991
       PAGES:: 39
    ABSTRACT:: This report describes the Ada style checker, which was
               designed and constructed in Winter and Spring 1989-90. The
               style checker is based on the Stanford Anna Tools and has
               been annotated using Anna. The style checker examines Ada
               programs for "correct style'' which is defined in a style
               specification language (SSL). A style checker generator is
               used to automatically generate a style checker based on a set
               of style specifications.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-91-488