Contents    Page-10    Prev    Next    Page+10    Index   

Futamura Projections[Y. Futamura, ``Partial Evaluation of Computation Process -- An Approach to a Compiler-Compiler'', Systems, Computers, Controls, 2(5):45-50, 1971. The presentation here follows Jones et al.]

Partial evaluation is a powerful unifying technique that describes many operations in computer science.

We use the notation [![ P ]!] L to denote running a program P in language L. Suppose that int is an interpreter for a language S and source is a program written in S. Then: