On the definition of an attribute grammar
The definition of an attribute grammar is analyzed in order to simplify and clarify certain points. An easy-to-test property termed "balance" is shown to be useful in analysis. The classification of attributes into synthesized and inherited attributes is shown to be a property derivable as a logical consequence of the "balance".
KeywordsParse Tree Derivation Tree Evaluation Rule Evaluation Cycle Attribute Instance
- 2.Jazayeri, M.: On attribute grammars and the semantic specification of programming languages. Report 1159, Jennings Computing Center, Case Western Reserve University, Cleveland, Ohio, October 1974.Google Scholar
- 4.Räihä, K-J.: On attribute grammars and their use in a compiler writing system, Department of Computer Science, University of Helsinki, Report A-1977-4.Google Scholar
- 5.Räihä, K-J., Saarinen, M., Soisalon-Soininen, E., Tienari, M.: The compiler writing system HLP (Helsinki Language Processor), Department of Computer Science, University of Helsinki, Report A-1978-2.Google Scholar