Attribute grammar design using the compiler writing system HLP
Methods and tools for compiler construction
Generation of Compiler Symbol Processing Mechanisms from Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Communications of the ACM
Semantic evaluation from left to right
Communications of the ACM
A Programming Methodology in Compiler Construction
A Programming Methodology in Compiler Construction
LL- and LR-Attributed Grammars
Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI
Tree-affix dendrogrammars for languages and compilers
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Compiler construction using 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
Alternating semantic evaluator
ACM '75 Proceedings of the 1975 annual conference
Towards better structured definitions of programming languages.
Towards better structured definitions of programming languages.
Semantic analysis and target language synthesis in a translator.
Semantic analysis and target language synthesis in a translator.
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
A globalizing transformation for attribute grammars
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
TOOLS: a unifying approach to object-oriented language interpretation
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
A new language is introduced for the specification of semantic analysis of programming languages. The language is based on the concept of one-pass attribute grammars. Various extensions of this basic formalism are incorporated in the language, including disciplined global variables, facilities for symbol processing, and features supporting semantic error detection and recovery. To encourage the writing of declarative specifications the language is nonterminal-oriented, in contrast to the production-oriented languages traditionally used in compiler writing systems.