BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-75-500
       ENTRY:: August 23, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Towards better structured definitions of programming
               languages.
        TYPE:: Technical Report
      AUTHOR:: Kurki-Suonio, Reino
        DATE:: September 1975
       PAGES:: 30
    ABSTRACT:: The use of abstract syntax and a behavioral model is
               discussed from the viewpoint of structuring the complexity in
               definitions of programming languages. A formalism for
               abstract syntax is presented which reflects the possibility
               of having one defining occurrence and an arbitrary number of
               applied occurrences of objects. Attributes can be associated
               with such a syntax for restricting the set of objects
               generated, and for defining character string representations
               and semantic interpretations for the objects. A system of
               co-operating automata, described by another abstract syntax,
               is proposed as a behavioral model for semantic definition.
       NOTES:: [Adminitrivia V1/Prg/19950823]
         END:: STAN//CS-TR-75-500