Forwarding in attribute grammars for modular language design (2002)
Cached
Download Links
- [www.umsec.umn.edu]
- [www.cs.umn.edu]
- [www.cs.umn.edu]
- [web.comlab.ox.ac.uk]
- [web.comlab.ox.ac.uk]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proc. 11th Intl. Conf. on Compiler Construction, volume 2304 of LNCS |
| Citations: | 30 - 11 self |
BibTeX
@INPROCEEDINGS{Wyk02forwardingin,
author = {Eric Van Wyk and Oege De Moor and Kevin Backhouse and Paul Kwiatkowski},
title = {Forwarding in attribute grammars for modular language design},
booktitle = {In Proc. 11th Intl. Conf. on Compiler Construction, volume 2304 of LNCS},
year = {2002},
pages = {128--142},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 how it 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
