Compiler construction using attribute grammars

Authors:
Kai Koskimies;Kari-Jouko Räihä;Matti Sarjakoski
Affiliations:
Department of Computer Science, University of Helsinki, Tukholmankatu 2, SF-00250 Helsinki 25, Finland;Department of Computer Science, University of Helsinki, Tukholmankatu 2, SF-00250 Helsinki 25, Finland;Department of Computer Science, University of Helsinki, Tukholmankatu 2, SF-00250 Helsinki 25, Finland
Venue:
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Year:
1982

Citing 7
Cited 8

A Sampler of Formal Definitions

ACM Computing Surveys (CSUR)
Space-Efficient Storage Management in an Attribute Grammar Evaluator

ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with an attribute grammar-based compiler

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Application of Meta-Compilation Methods in the Ada Test Translator Development

GI - 10. Jahrestagung
Problems in Compiling Ada

Proceedings of the 3rd Conference of the European Cooperation in Informatics on Trends in Information Processing Systems
Alternating semantic evaluator

ACM '75 Proceedings of the 1975 annual conference
Report on the programming language Euclid

ACM SIGPLAN Notices

The ergo attribute system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Compiler structure engineering with attribute grammars

ACM SIGPLAN Notices
Attribute coupled grammars

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
Parallel Evaluation of Attribute Grammars

IEEE Transactions on Parallel and Distributed Systems
Direct implementation of compiler specifications or the pascal p-code compiler revisited

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Attribute grammars and data-flow languages

Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The adequacy of attribute grammars as a compiler writing tool is studied on the basis of the experiences on attribute grammars for Pascal and a subset of Euclid. A qualitative assessment of the grammars shows that the compiler oriented view in the design of an attribute grammar tends to make the grammar hard to understand. A design discipline is proposed to improve the comprehensibility of the grammar. Quantitative measurements of the automatically generated compilers suggest that an efficient compiler can be produced from an attribute grammar. To achieve this, a carefully optimized implementation of the compiler-compiler is required.