Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating language-based environments
Generating language-based environments
Incremental graph evaluation (attribute grammar)
Incremental graph evaluation (attribute grammar)
Incremental evaluation for a general class of circular attribute grammars
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Higher order attribute grammars
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Higher-order attribute grammars and editing environments
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Hierarchical attribute grammars: dialects, applications and evaluation algorithms
Hierarchical attribute grammars: dialects, applications and evaluation algorithms
Matching-based incremental evaluators for hierarchical attribute grammar dialects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Hierarchical VLSI design systems based on attribute grammars
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Optimal-time incremental semantic analysis for syntax-directed editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher Order Attribute Grammars
Proceedings on Attribute Grammars, Applications and Systems
Semantic analysis and target language synthesis in a translator.
Semantic analysis and target language synthesis in a translator.
Incremental computation and the incremental evaluation of functional programs
Incremental computation and the incremental evaluation of functional programs
Specification and dialogue control of visual interaction through visual rewriting systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional Incremental Attribute Evaluation
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Generating spreadsheet-like tools from strong attribute grammars
Proceedings of the 2nd international conference on Generative programming and component engineering
Hi-index | 0.00 |
Several new attribute grammar dialects have recently been developed, all with the common goal of allowing large, complex language translators to be specified through a modular composition of smaller attribute grammars. We refer to the class of dialects as hierarchical attribute grammars. In this short article, we present a characterization of optimal incremental evaluation that indicates the unsuitability of change propagation as the basis of an optimal incremental evaluator for hierarchical attribute grammars. This result lends strong support to the use of incremental evaluators based on more applicative approaches to attribute evaluation, such as Carle and Pollock's evaluator based on more applicative approaches to attribute evaluation, such as Carle and Pollock's evaluator based on caching of partially attributed subtree, Pugh's evaluator based on function caching of semantic functions, and Swierstra and Vogt's evaluator based on functions, and Swierstra and Vogt's evaluator based on function caching of visit sequences.