BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-84-265
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: AN OVERVIEW OF ANNA - A SPECIFICATION LANGUAGE FOR ADA
        TYPE:: Technical Report
      AUTHOR:: Luckham, David
      AUTHOR:: Henke, Friedrich W. von
        DATE:: September 1984
       PAGES:: 23
    ABSTRACT:: A specification language permits information about various
               aspects of a program to be expressed in a precise machine
               processable form. This information is not normally part of
               the program itself. Specification languages are viewed as
               evolving from modern high level programming languages. The
               first step in this evolution is cautious extension of the
               programming language. Some of the features of Anna, a
               specification language extending Ada, are discussed. The
               extensions include generalizations of constructs (such as
               type constraints) that are already in Ada, and new constructs
               for specifying subprograms, packages, exceptions, and
               contexts.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-84-265