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".
CITATION STYLE
Tienari, M. (1980). On the definition of an attribute grammar. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 94 LNCS, pp. 408–414). Springer Verlag. https://doi.org/10.1007/3-540-10250-7_31
Mendeley helps you to discover research relevant for your work.