Advertisement

On the definition of an attribute grammar

  • Martti Tienari
Attribute And Affix Grammars
Part of the Lecture Notes in Computer Science book series (LNCS, volume 94)

Abstract

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".

Keywords

Parse Tree Derivation Tree Evaluation Rule Evaluation Cycle Attribute Instance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Bochmann, G. V.: Semantic evaluation from left to right, Comm. ACM 19 (1976), 55–62.CrossRefGoogle Scholar
  2. 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
  3. 3.
    Knuth D. E.: Semantics of context-free languages, Math. Syst. Th. 2 (1968), 127–145.CrossRefGoogle Scholar
  4. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • Martti Tienari
    • 1
  1. 1.Department of Computer ScienceUniversity of HelsinkiHelsinki 25

Personalised recommendations