Forwarding is a technique for providing default attribute definitions in attribute grammars that is helpful in the modular implementation of programming languages. It complements existing techniques such as default copy rules. This paper introduces forwarding, and shows howi t is but a small extension of standard higher-order attribute grammars. The usual tools for manipulating higher-order attribute grammars, including the circularity check (which tests for cyclic dependencies between attribute values), carry over without modification. The closure test (which checks that each attribute has a defining equation) needs modification, however, because the resulting higher-order attribute grammars may contain spurious attributes that are never evaluated, and indeed that need not be defined. 1 Motivation The modular definition of programming.
|Original language||English (US)|
|Title of host publication||Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings|
|Editors||R. Nigel Horspool|
|Number of pages||15|
|ISBN (Print)||3540433694, 9783540433699|
|State||Published - 2002|
|Event||11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 - Grenoble, France|
Duration: Apr 8 2002 → Apr 12 2002
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
|Other||11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002|
|Period||4/8/02 → 4/12/02|
Bibliographical notePublisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.