Introduction to Partial Evaluation
部分计值综述

Partial evaluation is a program transformation technique for specializing programs which finish the computation of programs under some known input as much as possible and produce more efficient residual programs. Partial evaluation has been studied in the context of a wide variety of programming languages and applied to a wide variety of areas that include compiling and compiler generation,computer graphics etc. In this paper,we survey the theory of partial evaluation and some application,and introduce the state of the study of partial evaluation of Java. We also describe our research work DJmix.a distributed partial evaluation of Java.