Programming Language Specification and Prototyping Using the MAX System

The paper describes the MAX system, a tool for specification and prototyping of language processors. The MAX system is based on a first-order framework generalizing attribute grammar like frameworks. It allows to refer to syntax tree nodes and “distant” attribute occurrences. Attributes may have tree nodes as values, so that global relations between distant tree nodes can be expressed. This enables more compact and readable specifications for a wide class of complex problems. Within the presented framework, context conditions can be globally formulated by first-order predicate formulae.

[1]  GSrel Hedin.  Incremental Static-Semantic Analysis for Object-Oriented Languages Using Door Attribute Grammars , 1991, Attribute Grammars, Applications and Systems.

[2]  Thomas Reps,et al.  The synthesizer generator reference manual (3. ed.) , 1989 .

[3]  Martin Jourdan.  An Optimal-time Recursive Evaluator for Attribute Grammars , 1984, Symposium on Programming.

[4]  Mads Rosendahl,et al.  Strictness Analysis for Attribute Grammars , 1992, PLILP.

[5]  John McCarthy,et al.  Mathematical Theory of Computation , 1991 .

[6]  Martin Jourdan.  Strongly non-circular attribute grammars and their recursive evaluation , 1984, SIGPLAN '84.

[7]  Robert Giegerich,et al.  A truly generative semantics-directed compiler generator , 1982, SIGPLAN '82.

[8]  S. Doaitse Swierstra,et al.  Higher order attribute grammars , 1989, PLDI '89.

[9]  William A. Wulf,et al.  DIANA An Intermediate Language for Ada , 1983, Lecture Notes in Computer Science.

[10]  Thomas W. Reps,et al.  The Synthesizer Generator Reference Manual , 1989, Texts and Monographs in Computer Science.

[11]  Peter D. Mosses.  Action Semantics , 1986, ADT.

[12]  Arnd Poetzsch-Heffter.  Implementing High-Level Identification Specifications , 1992, CC.

[13]  Uwe Kastens,et al.  GAG: A Practical Compiler Generator , 1982, Lecture Notes in Computer Science.

[14]  Robert Giegerich,et al.  Attribute coupled grammars , 1984, SIGPLAN '84.

[15]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[16]  Arnd PoetzschHe,et al.  Logic{based Speciication of Visibility Rules , 1991 .

[17]  Takuya Katayama,et al.  Translation of attribute grammars into procedures , 1984, TOPL.

[18]  Arnd Poetzsch-Heffter.  Logic-Based Specification of Visibility Rules , 1991, PLILP.

[19]  Rodney Farrow,et al.  LINGUIST-86: Yet another translator writing system based on attribute grammars , 1982, SIGPLAN '82.

[20]  Rodney Farrow.  Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars , 1986, SIGPLAN '86.