Introduction to compiler compilers
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.
KeywordsProduction Language Semantic Function Static Semantic Dynamic Semantic Language Definition
Unable to display preview. Download preview PDF.
- A. BROOKER-D. MORRIS-J.S. ROHL The Compiler Compiler Ann. Rev. in Aut. Prog., 1962Google Scholar
- J. FELDMAN-D. GRIES Translator Writing Systems CACM, Vol 11, No2, Feb. 1968Google Scholar
- R.W. FLOYD A Descriptive Language for Symbol Manipulation JACM, Vol. 8, April 1961Google Scholar
- R.W. FLOYD Bounded Context Syntax Analysis CACM, Vol 7, No2, Feb. 1964Google Scholar
- J.M. FOSTER-E.W. ELCOCK ABSYS 1: An Incremental Compiler for Assertions Machine Intelligence 4, Edinburgh Univ. Press, 1969Google Scholar
- 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, 1973Google Scholar
- D.E. KNUTH The Semantics of Context-Free Languages Mathematical Systems Theory, Vol. 2, 1967Google Scholar
- P. LUCAS-K. WALK On the Formal Definition of PL/1 Ann. Rev. in Aut. Prog., 1971Google Scholar
- M. RAIN (editor) Machine-Oriented Languages BulletinGoogle Scholar
- S.A. SCHUMANN Specifications de langages de Programmation et de leurs Traducteurs au moyen de Macros-Syntaxiques Proc. Congrès AFCET, 1970Google Scholar
- Proceeding of the Extensible Languages Symposium SIGPLAN Notices, Aug. 1969Google Scholar
- Proceedings of an Extensible Languages Symposium SIGPLAN Notices, Dec. 1971.Google Scholar
- W.L. van der POEL (editor) Proceedings of a Conference on Machine-Oriented Language, Trondheim, 1973 North Holland, 1974Google Scholar
- N. WIRTH, C.A.R. HOARE An Axiomatic Definition of the Programming Language PASCAL International School, Marktoberdorf, 1973Google Scholar