Forwarding in Attribute Grammars for Modular Language Design

Loading...
Thumbnail Image

View/Download File

Persistent link to this item

Statistics
View Statistics

Journal Title

Journal ISSN

Volume Title

Title

Forwarding in Attribute Grammars for Modular Language Design

Published Date

2002

Publisher

Type

Report

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.

Keywords

Description

Associated research group: Minnesota Extensible Language Tools

Related to

Replaces

License

Series/Report Number

Funding information

Isbn identifier

Doi identifier

Previously Published Citation

In Proc. of International Conference on Compiler Construction, Springer Verlag Lecture Notes in Computer Science volume 2304.

Suggested citation

Van Wyk, Eric; de Moor, Oege; Backhouse, Kevin; Kwiatkowsky, Paul. (2002). Forwarding in Attribute Grammars for Modular Language Design. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217342.

Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.