Forwarding in attribute grammars for modular language design

Eric Van Wyk; Oege De Moor; Kevin Backhouse; Paul Kwiatkowski

doi:10.1007/3-540-45937-5_11

Forwarding in attribute grammars for modular language design

Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

89 Scopus citations

Abstract

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
Publisher	Springer Verlag
Pages	128-142
Number of pages	15
ISBN (Print)	3540433694, 9783540433699
DOIs	https://doi.org/10.1007/3-540-45937-5_11
State	Published - 2002
Externally published	Yes
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

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2304
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

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
Country/Territory	France
City	Grenoble
Period	4/8/02 → 4/12/02

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.

Access

10.1007/3-540-45937-5_11

OpenUrl availability

Full text

Cite this

Van Wyk, E., De Moor, O., Backhouse, K., & Kwiatkowski, P. (2002). Forwarding in attribute grammars for modular language design. In R. Nigel Horspool (Ed.), Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings (pp. 128-142). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2304). Springer Verlag. https://doi.org/10.1007/3-540-45937-5_11

Forwarding in attribute grammars for modular language design. / Van Wyk, Eric; De Moor, Oege; Backhouse, Kevin et al.
Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. ed. / R. Nigel Horspool. Springer Verlag, 2002. p. 128-142 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2304).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Van Wyk, E, De Moor, O, Backhouse, K & Kwiatkowski, P 2002, Forwarding in attribute grammars for modular language design. in R Nigel Horspool (ed.), Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2304, Springer Verlag, pp. 128-142, 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, 4/8/02. https://doi.org/10.1007/3-540-45937-5_11

Van Wyk E, De Moor O, Backhouse K, Kwiatkowski P. Forwarding in attribute grammars for modular language design. In Nigel Horspool R, editor, Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. Springer Verlag. 2002. p. 128-142. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45937-5_11

Van Wyk, Eric ; De Moor, Oege ; Backhouse, Kevin et al. / Forwarding in attribute grammars for modular language design. Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings. editor / R. Nigel Horspool. Springer Verlag, 2002. pp. 128-142 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ab8ed70b50f6467aaa7c0d85d107d0b1,

title = "Forwarding in attribute grammars for modular language design",

abstract = "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.",

author = "{Van Wyk}, Eric and {De Moor}, Oege and Kevin Backhouse and Paul Kwiatkowski",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 ; Conference date: 08-04-2002 Through 12-04-2002",

year = "2002",

doi = "10.1007/3-540-45937-5_11",

language = "English (US)",

isbn = "3540433694",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "128--142",

editor = "{Nigel Horspool}, R.",

booktitle = "Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings",

}

TY - GEN

T1 - Forwarding in attribute grammars for modular language design

AU - Van Wyk, Eric

AU - De Moor, Oege

AU - Backhouse, Kevin

AU - Kwiatkowski, Paul

PY - 2002

Y1 - 2002

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

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

UR - http://www.scopus.com/inward/record.url?scp=84959063087&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959063087&partnerID=8YFLogxK

U2 - 10.1007/3-540-45937-5_11

DO - 10.1007/3-540-45937-5_11

M3 - Conference contribution

AN - SCOPUS:84959063087

SN - 3540433694

SN - 9783540433699

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 128

EP - 142

BT - Compiler Construction - 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings

A2 - Nigel Horspool, R.

PB - Springer Verlag

T2 - 11th International Conference on Compiler Construction, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002

Y2 - 8 April 2002 through 12 April 2002

ER -

Forwarding in attribute grammars for modular language design

Abstract

Publication series

Other

Bibliographical note

Access

OpenUrl availability

Other files and links

Fingerprint

Cite this