University of Minnesota
Software Engineering Center
/

You are here

Silver: an Extensible Attribute Grammar System

Date of Publication: 
March 2007
Associated Research Groups: 
Publication Files: 
Abstract: 
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-specific analyses. Despite these advantages, attribute grammars are often not adopted to the degree that their proponents envision. One practical obstacle to their adoption is a perceived lack of the both domain-specific and general purpose language features needed to address all of the different aspects of a problem. Here we describe Silver, an extensible attribute grammar specification language, and show how it can be extended with general purpose features such as pattern matching and domain specific features such as collection attributes and constructs for supporting data-flow analysis of imperative programs. Silver is implemented in itself by a Silver attribute grammar and utilizes forwarding to implement the extensions in a cost-effective manner. The result is an attribute grammar specification language with a rich set of language features.
Venue: 
Workshop on Language Descriptions, Tools, and Applications (LDTA)
bibtex: 
@inproceedings{vanwyk07ldta, author = "Van Wyk, E. and Bodin, D. and Krishnan, L. and Gao, J.", title = "Silver: an Extensible Attribute Grammar System", booktitle = "Proc. of LDTA 2007, $7^{th}$ Workshop on Language Descriptions, Tools, and Analysis", year = 2007, note = "To appear in ENTCS" }