Abstract

This paper reports the relationship between formal description of semantics (i.e., interpreter) of a programming language and an actual compiler. The paper also describes a method to automatically generate an actual compiler from a formal description which is, in some sense, the partial evaluation of a computation process. The compiler-compiler inspired by this method differs from conventional ones in that the compilercompiler based on our method can describe an evaluation procedure (interpreter) in defining the semantics of a programming language, while the conventional one describes a translation process.

Citations

143	Eds.). Revised report on the algorithmic language ALGOL 60 - Naur, Woodger - 1963
6	Description of Algol 60 - Rutishauser - 1967
5	Formal Definition of Algol 60 - Lauer - 1968
2	Abstract syntax and interpretation of PL/I - Walk, Alber, et al. - 1968
1	11 th European Conference on Object-Oriented Programming, Workshop on Precise Semantics for Object-Oriented Modeling Techniques - unknown authors - 1997