Principles and Applications of Partial Evaluation

部分求值是一种程序转换技术，用于对程序输入的某些已知部分进行专门化。产生的剩余程序具有这样的特性，即当应用于输入的剩余部分时，它将产生期望的结果。由于许多问题可以显示为更一般问题的“专门化”，这为程序开发的简单、自动、形式化方法提供了基础。本研究对部分评价理论进行了全面、深入的研究。预期结果包括：(1)更好地理解部分评估所基于的数学原理，(2)更好地实现部分评估器的策略，包括各种静态分析以提高性能，(3)部分评估的应用计划，包括：(a)基于语义的编译（从指称语义规范自动生成编译器），(b)增量计算（从非增量程序自动生成增量程序），以及(c)程序执行监控（从标准延续语义自动生成监视器-调试器，分析器等）。

Partial evaluation is a program transformation technique for specializing a program with respect to some known part of its input. The resulting residual program has the property that when applied to the remaining part of the input, it will yield the desired result. Since many problems can be shown to be "specializations" of a more general problem, this provides the basis for a simple, automatic, formal methods approach to program development. This research comprises a comprehensive, in-depth study of the theory of partial evaluation. Expected results include: (1) a better understanding of the mathematical principles upon which partial evaluation is based, (2) better strategies for implementing a partial evaluator, including various static analyses to enhance performance, (3) plans for applications of partial evaluation, including: (a) semantics-based compilation (the automatic generation of compilers from denotational semantics specifications), (b) incremental computation (the automatic generation of incremental programs from non-incremental ones), and (c) program execution monitoring (the automatic generation of monitors - debuggers, profilers, etc. - from a standard continuation semantics).