BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-84-258
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: A STRONGLY TYPED LANGUAGE FOR SPECIFYING PROGRAMS
        TYPE:: Technical Report
      AUTHOR:: Henke, Friedrich W. von
        DATE:: January 1984
       PAGES:: 32
    ABSTRACT:: A language for specifying and annotating programs is
               presented. The language is intended to be used in connection
               with a strongly typed programming language. It provides a
               framework for the definition of specification concepts and
               the specification of programs by means of assertions and
               annotations. The language includes facilities for defining
               concepts axiomatically and to group definitions of related
               concepts and derived properties (lemmas) in theories. All
               entities in the language are required to be strongly typed;
               however, the language provides a very flexible type system
               which includes polymorphic (or generic) types. The paper
               presents a type checking algorithm for the language and
               discusses the relationship between specification language and
               programming language.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-84-258