Compiler structure engineering with attribute grammars
Abstract
In this paper are discussed the concepts of a compiler structure design system and its prototype implementation.In order to obtain the pass structure based on the properties of the deterministic left to right evaluable attribute grammars we use short path algorithms for directed graphs. An algorithm for assignment of attributes to separate passes is shown. We propose a method for extension of the deterministic left to right evaluable attribute grammars with global data. Futher we describe the approach of a syntax oriented modularization for specifying the compiler structure.Using this research as a base we developed the CSD system (Compiler Structure Design). The CSD system is a compiler engineering tool providing facilities for specification of compilers and for design of their pass, intermediate program and module structure. The main components of the system are also shown and its use for development of a COBOL compiler are discussed.
References
[1]
/ALB 81/ Alblas H.: A Characterization of Attribute Evaluation in Passes. Acta Informatica, p. 427-464, 16(1981)4.
[2]
/BKS 79/ Biryukov A.N., Kurotchkin V.M., Serebrjakov V.A.: Globalnije atributij i ich izpolsovanie pri opisanii yazikov programmirovania. Obrabotka simvolnoi informazii, vip. 5, Moskwa, VZ AN SSSR, 1979.
[3]
/BOC 76/ Bochmann G.V.: Semantic Evaluation from Left to Right. CACM, p. 55-62, 19(1976)2.
[4]
/BP 84/ Brown C.A., Purdom P.W.: A Methodology and Notation for Compiler Front End Design. Software Practice and Experience, 14(1984)4.
[5]
/MIL 88/ Miloucheva I.: Rechnergestuetzter Entwurf der Compilerstruktur mit Attributgrammatiken. Dissertation, Sektion Informatik, Technische Universitaet Dresden, 1988.
[6]
/DJL 86/ Deransart P., Jourdan M., Lorho B.: A Survey on Attribute Grammars. Part I - Review of Existing Systems. INRIA Rapports de Recherche, 1985, no. 417. Part II - Main Results on Attribute Grammars. INRIA Rapports de Recherche, 1986, no. 485. Part III - Classified Bibliography. INRIA Rapports de Recherche, 1986.
[7]
/ENG 84/ Engelfriet J.: Attribute Grammars - Attribute Evaluation Methods. Methods and Tools for Compiler Construction (B. Lorho ed.), INRIA-CEC Course.
[8]
/KN 68/ Knuth D.E.: Semantics of Context Free Languages. Mathematical Systems Theory, p. 127-145, 2(1968)2.
[9]
/KOS 84/ Koskimies K.: A Specification Language for One-pass Translation using Attribute Grammars. Software Practice and Experience, p. 119-129, 13(1983)2.
[10]
/JP 81/ Jazayeri M., Pozefsky D.: Space Efficient Storage Management in Attribute Grammar Evaluator. ACM TOPLAS p. 388-404, 3(1981)4.
[11]
/KRS 82/ Koskimies K., Raiha K.-J., Sarjakowski M.: Compiler Construction Using Attribute Grammars. ACM SIGPLAN 82 Symposium on Compiler Construction. SIGPLAN Notices, p. 153-159, 17(1982)6.
[12]
/LJO 87/ Loeper H., Jaeckel H.-J., Otter W.: Compiler and Interpreter fuer hoehere Programmiersprachen. Akademic-Verlag Berlin, 1987.
[13]
/RIE 85/ Riedewald G: Compiler-Compiler auf der Grundlage attributierter Grammatiken. Problemseminar "Compiler-Generatoren", 1984, Binz, AdW, IIR, 1(1985)7.
[14]
/RU 80/ Raeiha K.-J., Ukkonen E.: Minimizing the Number of Evaluation Passes for Attribute Grammars. SIAM Jour. on Computing, p. 772-786, 10(1981)4.
[15]
/WAT 80/ Watt D.A.: Rule Splitting and Attribute-Directed Parsing. Semantics-Directed Compiler Generation (N.D. Jones) LNCS 94, Springer-Verlag, p. 363-392, 1980.
Index Terms
- Compiler structure engineering with attribute grammars
Recommendations
Compiler construction using attribute grammars
Proceedings of the 1982 SIGPLAN symposium on Compiler constructionThe 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 ...
Compiler construction using attribute grammars
SIGPLAN '82: Proceedings of the 1982 SIGPLAN symposium on Compiler constructionThe 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 ...
Nanopass Attribute Grammars
SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language EngineeringCompilers for feature-rich languages are complex; they perform many analyses and optimizations, and often lower complex language constructs into simpler ones. The nanopass compiler architecture manages this complexity by specifying the compiler as a ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Oct. 1991
85 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/122616
- Editor:
- Richard L. Wexelblat
Copyright © 1991 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 October 1991
Published in SIGPLAN Volume 26, Issue 10
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 317Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)3
Reflects downloads up to 10 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in