The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
Journal of the ACM (JACM)
Programmed Grammars and Classes of Formal Languages
Journal of the ACM (JACM)
Semantic evaluation from left to right
Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
Node listings applied to data flow analysis
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Node listings for reducible flow graphs
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Attributed translations(Extended Abstract)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Removal of invariant statements from nested-loops in a single effective compiler pass
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Automatic generation of efficient evaluators for attribute grammars
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
On attribute grammars and the semantic specification of programming languages.
On attribute grammars and the semantic specification of programming languages.
Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Performance specification using attributed grammars
DAC '93 Proceedings of the 30th international Design Automation Conference
Sublinear-space evaluation algorithms for attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
A research environment for incremental data flow analysis
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT 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
Non-syntactic attribute flow in language based editors
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel Evaluation of Attribute Grammars
IEEE Transactions on Parallel and Distributed Systems
The Realizable Benefits of a Language Prototyping Language
IEEE Transactions on Software Engineering
The global storage needs of a subcomputation
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A general linear-time evaluator for attribute grammars
ACM SIGPLAN Notices
Computer Standards & Interfaces
| Hi-index | 0.01 |
The problem of semantic evaluation in a compiler-generating system can be addressed by specifying language semantics in an attribute grammar [19], a context-free grammar augmented with “attributes” for the nonterminals and “semantic functions” to compute the attributes. A deterministic method for evaluating all attributes in a “semantic” parse tree is derived and shown to have time and space complexities which are essentially linear in the size of the tree. In a prepass through the parse tree, the method determines an evaluation sequence for the attributes; thus it is somewhat analogous to dynamic programming. The constructor-evaluator system described should be suitable for inclusion in a general translator-writing system. for inclusion in a general translator-writing system.