Attributed Grammars as a Specification Method

Attribute Grammars (AGs) are a formal and practical method for rule based specifications of computations on tree structures. A typical application area is the analysis and translation of formal languages. In this paper we first point out the basic concepts of computations in tree contexts and their dependencies. Then more elaborate methods are presented for systematic development of AG specification.

[1]  Uwe Kastens.  Attribute Grammars in a Compiler Construction Environment , 1991, Attribute Grammars, Applications and Systems.

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

[3]  Henk Alblas,et al.  Introduction to Attributed Grammars , 1991, Attribute Grammars, Applications and Systems.

[4]  William M. Waite,et al.  Configuration Control in Compiler Construction , 1988, SCM.

[5]  Gerhard Goos,et al.  An Attribute Grammar for the Semantic Analysis of Ada , 1982, Lecture Notes in Computer Science.