Abstract
It may seem misleading to talk so much about language definition methods when we wish to examine the state of the art in compiler-compilers, but the one is directly dependent on the other. Compiler implementers have always complained that the language definers ignore their problems, but both sides should listen more carefully to what the other has to say.
The present situation as regards the mechanical production of compilers is that the classical methods, based on context-free syntax drivers, are well established and well understood, even though certain industrial compiler producers have yet to see the light. Methods which take their formalisation further than context-free grammars are promising subjects of research (or in some cases development) and some time will elapse before they are applicable in the industrial arena. It seems likely that the introduction of new implementation techniques will have a large influence not only on language definition tools, but also on the contents of languages.
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, No2, 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, No2, 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 Verlag, 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
Proceeding of the Extensible Languages Symposium SIGPLAN Notices, Aug. 1969
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 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
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Griffiths, M. (1976). Introduction to compiler compilers. In: Brauer, F.L., et al. Compiler Construction. Lecture Notes in Computer Science, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540069585_59
Download citation
DOI: https://doi.org/10.1007/3540069585_59
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06958-4
Online ISBN: 978-3-540-37263-9
eBook Packages: Springer Book Archive