Advertisement

Introduction to compiler compilers

  • M. Griffiths
Chapter 4.: Compiler-Compiler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 21)

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.

Keywords

Production Language Semantic Function Static Semantic Dynamic Semantic Language Definition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • M. Griffiths
    • 1
  1. 1.Laboratoire d'InformatiqueUniversite De GrenobleFrance

Personalised recommendations