Higher-Order and Symbolic Computation

, Volume 12, Issue 4, pp 381–391

Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler


  • Yoshihiko Futamura
    • Central Research LaboratoryHitachi, Ltd.

DOI: 10.1023/A:1010095604496

Cite this article as:
Futamura, Y. Higher-Order and Symbolic Computation (1999) 12: 381. doi:10.1023/A:1010095604496


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 compiler-compiler 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.

partial evaluation program transformation compiler interpreter Futamura projections

Copyright information

© Kluwer Academic Publishers 1999