Journal of the ACM (JACM)
Programmed Grammars and Classes of Formal Languages
Journal of the ACM (JACM)
The Art of Computer Programming Volumes 1-3 Boxed Set
The Art of Computer Programming Volumes 1-3 Boxed Set
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
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
Declarative semantic definition as illustrated by a definition of simula 67
Declarative semantic definition as illustrated by a definition of simula 67
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)
Incremental attribute evaluation in distributed language-based environments
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Compiling circular attribute grammars into Prolog
IBM Journal of Research and Development
Graph translation schemes to generate compiler parts
ACM Transactions on Programming Languages and Systems (TOPLAS)
Graph attribution with multiple attribute grammers
ACM SIGPLAN Notices
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Passes, sweeps, and visits in attribute grammars
Journal of the ACM (JACM)
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental attribute evaluation: a flexible algorithm for lazy update
ACM Transactions on Programming Languages and Systems (TOPLAS)
Pattern-based tree attribution
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Composable attribute grammars: support for modularity in translator design and implementation
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Performance specification using attributed grammars
DAC '93 Proceedings of the 30th international Design Automation Conference
Multi-pass execution of functional logic programs
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The translation power of top-down tree-to-graph transducers
Journal of Computer and System Sciences
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
LISA: a tool for automatic language implementation
ACM SIGPLAN Notices
Sublinear-space evaluation algorithms for attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional 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
Implementing semantics of object oriented languages using attribute grammars
CSC '91 Proceedings of the 19th annual conference on Computer Science
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Space-Efficient Storage Management in an Attribute Grammar Evaluator
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Sub-protocol-evaluators for attribute grammars
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior
IEEE Transactions on Software Engineering
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
Verification of attribute grammar
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Automatic generation of near-optimal linear-time translators for non-circular attribute grammars
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Experience with an attribute grammar-based compiler
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
HFP: A hierarchical and functional programming based on attribute grammar
ICSE '81 Proceedings of the 5th international conference on Software engineering
A Family Of Pass-Oriented Attribute Grammar Evaluators
ACM '78 Proceedings of the 1978 annual conference
Attribute propagation by message passing
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
Attribute grammars and data-flow languages
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Dynamic allocation of space for attribute instances in multi-pass evaluators of attribute grammars
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
LINGUIST-86: Yet another translator writing system based on attribute grammars
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
A truly generative semantics-directed compiler generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Formal specification and automatic programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A space improvement in the alternating semantic evaluator
ACM '80 Proceedings of the ACM 1980 annual conference
A general linear-time evaluator for attribute grammars
ACM SIGPLAN Notices
Expressive programs through presentation extension
Proceedings of the 6th international conference on Aspect-oriented software development
Iterative type inference with attribute grammars
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
On the complexity of regular-grammars with integer attributes
Journal of Computer and System Sciences
The kennedy-warren algorithm revisited: ordering attribute grammars
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Incremental attribute evaluation through recursive procedures
Computer Languages
Optimizing structural recursion in functional programs
Computer Languages
Top-Down Parsing With Simultaneous Evaluation Of Noncircular Attribute Grammars
Fundamenta Informaticae
Lazy stateless incremental evaluation machinery for attribute grammars
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.02 |
The translation process may be divided into a syntactic phase and a semantic phase. Context-free grammars can be used to describe the set of syntactically correct source texts in a formal yet intuitively appealing way, and many techniques are now known for automatically constructing parsers from given CF grammars. Knuth's attribute grammars offer the prospect of similarly automating the implementation of the semantic phase. An attribute grammar is an ordinary CF grammar extended to specify the “meaning” of each string in the language. Each grammar symbol has an associated set of “attributes:”, and each production rule is provided with corresponding semantic rules expressing the relationships between the attributes of symbols in the production. To find the meaning of a string, first we find its parse tree and then we determine the values of all the attributes of symbols in the tree.