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

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 evaluationprogram transformationcompilerinterpreterFutamura projections

Copyright information

© Kluwer Academic Publishers 1999

Authors and Affiliations

  • Yoshihiko Futamura
    • 1
  1. 1.Central Research LaboratoryHitachi, Ltd.TokyoJapan