Abstract
Historically, the existence of compiler-compilers is a result of using syntax-directed compiling techniques in order to structure the compiler. Syntax becomes a language in which parts of the compiler may be written, and the concept is extended to semantics by including a compatible programming language, usually general purpose, which allows classical programming methods for those parts of the compiler not susceptible to treatment by syntax. We will divide the subject in two parts, dealing first with those compiler-compilers whose formal treatment is limited to context-free grammars, and subsequently with extensions of these formalisms by one method or another. This division is strictly arbitrary, but corresponds to a practical fact, which is that the former class can be used, and indeed are being used, in a commercial environment to produce efficient compilers more easily than by ad hoc methods. The second group includes a series of promising ideas which are at different stages of development, but for which it is as yet not possible to make a reasonable evaluation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. BROOKER - D. MORRIS - J.S. ROHL: The Compiler Compiler Ann. Rev. in Aut. Prog., 1962
J. FELDMAN - D. GRIES: Translator Writing Systems CACM, Vol 11, N°2, Feb. 1968
R.W. FLOYD: A Descriptive Language for Symbol Manipulation JACM, Vol. 8, April 1961
R.W. FLOYD: Bounded Context Syntax Analysis CACM, Vol 7, N°2, Feb. 1964
J.M. FOSTER - E.W. ELCOCK: ABSYS 1: An Incremental Compiler for Assertions Machine Intelligence 4, Edinburgh Univ. Press, 1969
M. GRIFFITHS: The Relationship between Language Definition and Implementation In Advanced Course in Software Engineering
Ed. F.L. BAUER, Notes in Economic and Mathematical System, Springer Verlan, 1973
D.E. KNUTH: The Semantics of Context-Free Languages Mathematical Systems Theory, Vol. 2, 1967
P. LUCAS - K. WALK: On the Formal Definition of PL/1 Ann. Rev. in Aut. Prog., 1971
M. RAIN (editor): Machine-Oriented Languages Bulletin
S.A. SCHUMANN: Specifications de langages de Programmation et de leurs Traducteurs au moyen de Macros-Syntaxiques
Proc. Congrès AFCET, 1970
S.A. SCHUMANN: Proceeding of the Extensible Languages Symposium SIGPLAN Notices, Aug. 1969
S.A. SCHUMANN: Proceedings of an Extensible Languages Symposium SIGPLAN Notices, Dec. 1971.
W.L. van der POEL (editor): Proceedings of a Conference on Machine-Oriented Language, Trondheim, 1973
W.L. van der POEL (editor): Proceedings of a Conference on Machine-Oriented Language, North Holland, 1974
N. WIRTH, C.A.R. HOARE: An Axiomatic Definition of the Programming Language PASCAL International School, Marktoberdorf, 1973
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Griffiths, M. (1974). Introduction to Compiler Compilers. In: Bauer, F.L., Eickel, J. (eds) Compiler Construction. Lecture Notes in Computer Science, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21549-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-662-21549-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06958-4
Online ISBN: 978-3-662-21549-4
eBook Packages: Springer Book Archive