Towards Better Structured Definitions of Programming Languages.

摘要

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.