Futamura Projections[Y. Futamura, ``Partial Evaluation of Computation Process -- An Approach to a Compiler-Compiler'', Systems, Computers, Controls, 2(5):45-50, 1971. http://www.futamura.info.waseda.ac.jp/~ futamura/ ]

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

The notation [[ P ]] L denotes 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:

Contents    Page-10    Prev    Next    Page+10    Index