The ergo attribute system
- 3 November 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 13 (5) , 110-120
- https://doi.org/10.1145/64135.65014
Abstract
The Ergo Attribute System was designed to satisfy the requirements for attributes in a language-generic program derivation environment. It consists of three components: (1) an abstract data type of attributes that guarantees attribute consistency, (2) a Common Lisp implementation which combines demand-driven and incremental attribute evaluation in a novel way while allowing for attribute persistence over many generations of a program, and (3) an attribute-grammar compiler producing code based on this abstract data type from a high-level specification. Our experience with three major applications (one being the attribute-grammar compiler itself) confirms that the overhead in storing and accessing attributes incurred by our implementation scheme is more than offset by the gains from the demand-driven, incremental, and persistent nature of attribution.Keywords
This publication has 14 references indexed in Scilit:
- The ergo support system: an integrated set of tools for prototyping integrated environmentsPublished by Association for Computing Machinery (ACM) ,1988
- The synthesizer generatorPublished by Association for Computing Machinery (ACM) ,1984
- A specification language for one-pass semantic analysisPublished by Association for Computing Machinery (ACM) ,1984
- Strongly non-circular attribute grammars and their recursive evaluationPublished by Association for Computing Machinery (ACM) ,1984
- Incremental Context-Dependent Analysis for Language-Based EditorsACM Transactions on Programming Languages and Systems, 1983
- Experience with an attribute grammar-based compilerPublished by Association for Computing Machinery (ACM) ,1982
- Compiler construction using attribute grammarsPublished by Association for Computing Machinery (ACM) ,1982
- Ordered attributed grammarsActa Informatica, 1980
- Semantic evaluation from left to rightCommunications of the ACM, 1976
- Automatic generation of efficient evaluators for attribute grammarsPublished by Association for Computing Machinery (ACM) ,1976