Parital Computation of Programs.
Yoshihiko Futamura · 1982
This paper attempts to clarify the difference between partial and ordinary computation. Partial computation of a computer program is by definition specializing a general program based upon its operating environment into a more efficient program. It also shows the usefulness of partial computation. Finally, the formal theory of partial computation, technical problems in making it practical, and its future research problems are discussed.