Hierarchical Attribute Grammars: Dialects, Applications and Evaluation Algorithms
| dc.contributor.author | Carle, Alan | en_US |
| dc.date.accessioned | 2017-08-02T22:03:22Z | en_US |
| dc.date.available | 2017-08-02T22:03:22Z | en_US |
| dc.date.issued | 1992-05 | en_US |
| dc.date.note | May 1992 | en_US |
| dc.description | This work was also published as a Rice University thesis/dissertation: http://hdl.handle.net/1911/16538 | en_US |
| dc.description.abstract | Although attribute grammars have been applied successfully to the specification of many different phases of analysis and transformation of complex language processing systems, including type checking, data flow analysis, constant propagation and dead code elimination, little success has been achieved in applying attribute grammars to the specification of complete systems such as multiple pass code optimizers or automatic parallelizers. This is the direct result of the failure of typical attribute grammar dialects to provide any means for composing attribute grammar specifications of sub-computations to create a specification of a complete hierarchical computation. This dissertation introduces the notion of hierarchical attribute grammars, a set of attribute grammar dialects that are suitably expressive to permit the natural description of complex computations through the composition of attribute grammar specified sub-computations within the context of the original attribute grammar formalism. The set of hierarchical dialects includes Schulz's attributed transformations, the Attribute Coupled Grammars of Ganzinger and Giegerich, SSL, the specification language of the Synthesizer Generator of Reps and Teitelbaum, the Higher Order Attribute Grammars of Vogt, Swierstra and Kuiper, and a new dialect Modular Attribute Grammars. The relationships between these five dialects are examined, and examples of Modular Attribute Grammar specifications are presented. For hierarchical attribute grammar dialects to be useful, efficient batch and incremental evaluators for hierarchical dialects must be developed. Therefore, the majority of this dissertation is dedicated to the presentation of new batch and incremental evaluation algorithms for hierarchical specifications. | en_US |
| dc.format.extent | 125 pp | en_US |
| dc.identifier.citation | Carle, Alan. "Hierarchical Attribute Grammars: Dialects, Applications and Evaluation Algorithms." (1992) https://hdl.handle.net/1911/96438. | en_US |
| dc.identifier.digital | TR93-270 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/96438 | en_US |
| dc.language.iso | eng | en_US |
| dc.rights | You are granted permission for the noncommercial reproduction, distribution, display, and performance of this technical report in any format, but this permission is only for a period of forty-five (45) days from the most recent time that you verified that this technical report is still available from the Computer Science Department of Rice University under terms that include this permission. All other rights are reserved by the author(s). | en_US |
| dc.title | Hierarchical Attribute Grammars: Dialects, Applications and Evaluation Algorithms | en_US |
| dc.type | Technical report | en_US |
| dc.type.dcmi | Text | en_US |
Files
Original bundle
1 - 1 of 1