Generating parsers for affix grammars
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the complexity of the circularity test for attribute grammars
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Compiler Construction for Digital Computers
Compiler Construction for Digital Computers
Semantic attributes and improvement of generated code
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Journal of Computer and System Sciences
Translation of attribute grammars into procedures
ACM Transactions on Programming Languages and Systems (TOPLAS)
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Graph attribution with multiple attribute grammers
ACM SIGPLAN Notices
ACM SIGPLAN Notices
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Application programming as the construction of language interpreters
ACM SIGPLAN Notices
Passes, sweeps, and visits in attribute grammars
Journal of the ACM (JACM)
Heterogeneous Data Translations Based on Environment Grammars
IEEE Transactions on Software Engineering
Efficient evaluation of circular attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler structure engineering with attribute grammars
ACM SIGPLAN Notices
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multi-pass execution of functional logic programs
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extending attribute grammars to support programming-in-the-large
ACM Transactions on Programming Languages and Systems (TOPLAS)
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Conditional attribute grammars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Two-way translators based on attribute grammar inversion
ICSE '85 Proceedings of the 8th international conference on Software engineering
Writing a compilers compiler in APL
APL '98 Proceedings of the APL98 conference on Array processing language
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
A Deterministic Attribute Grammar Evaluator Based on Dynamic Scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Incremental Context-Dependent Analysis for Language-Based Editors
ACM Transactions on Programming Languages and Systems (TOPLAS)
An event-driven compiling technique
Communications of the ACM
The intrinsically exponential complexity of the circularity problem for attribute grammars
Communications of the ACM
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
A specification language for one-pass semantic analysis
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Tree transformation techniques and experiences
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
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
Support Algorithms for Incremental Attribute Evaluation of Asynchronous Subtree Replacements
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 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
An attribute description of a subset of Algol 68
Proceedings of the Strathclyde ALGOL 68 conference
Formal specification and automatic programming
ICSE '76 Proceedings of the 2nd international conference on Software engineering
An extension of earley's algorithm for S-attributed grammars
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Natural semantics as a static program analysis framework
ACM Transactions on Programming Languages and Systems (TOPLAS)
A general linear-time evaluator for attribute grammars
ACM SIGPLAN Notices
Automatic translation with attribute grammars
COLING '80 Proceedings of the 8th conference on Computational linguistics
Journal of the ACM (JACM)
Parsing visual languages with picture layout grammars
Journal of Visual Languages and Computing
Methods for specifying static semantics
Computer Languages
A functional approach to generic programming using adaptive traversals
Higher-Order and Symbolic Computation
Top-Down Parsing With Simultaneous Evaluation Of Noncircular Attribute Grammars
Fundamenta Informaticae
Hi-index | 48.25 |
This paper describes attribute grammars and their use for the definition of programming languages and compilers; a formal definition of attribute grammars and a discussion of some of its important aspects are included. The paper concentrates on the evaluation of semantic attributes in a few passes from left to right over the derivation tree of a program. A condition for an attribute grammar is given which assures that the semantics of any program can be evaluated in a single pass over the derivation tree, and an algorithm is discussed which decides how many passes from left to right are in general necessary, given the attribute grammar. These notions are explained in terms of an example grammar which describes the scope rules of Algol 60. Practical questions, such as the relative efficiency of different evaluation schemes, and the ease of adapting the attribute grammar of a given programming language to the left-to-right evaluation scheme are discussed.