部分计值综述

部分计值是一种程序转换技术．在给定程序部分输入的情况下，可使用该技术对程序进行例化，完成程序中尽可能多的计算，最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统，并把它们应用到编译和编译器生成、计算机图形学等领域。本文介绍了部分计值理论及其应用．讨论了Java部分计值器的研究现状．并简单描述了本课题组设计的一个Java分布式部分计值系统DJmix。

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.