Higher-Order and Symbolic Computation

, Volume 12, Issue 4, pp 381-391

First online:

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

  • Yoshihiko FutamuraAffiliated withCentral Research Laboratory, Hitachi, Ltd.

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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