Refining and Extending Partial Evaluation

这个项目的目标是促进部分评价在更广泛的应用中被更多的用户使用。为此，提出了一项完善和扩展部分评价系统的设计和实施的综合计划。这项工作的预期贡献包括：通过探索和设计部分评估系统编程环境的新工具来提高剩余程序的质量，以及通过开发新技术来提高结合时间分析的准确性。通过开发自动绑定时间分析和程序专门化器，扩展部分求值以处理副作用。这项工作的第一部分将集中在引用的概念上。上面描述的改进将允许部分评估在某些领域的进一步应用，以及对新领域的攻击。编译器生成领域的例子有子类型、泛型函数、异常和任务操作。部分求值在操作系统中的一种新用法涉及到使用部分求值从通用规范中自动派生操作系统组件的实现。

The goal of this project is to facilitate the use of partial evaluation in broader applications and by a larger class of users. To do so, a comprehensive plan to refine and extend the design and implementation of partial evaluation systems is proposed. The anticipated contributions of this work include: Improving the quality of residual programs by exploring and designing new tools for a programming environment of a partial evaluation system, and by developing new techniques to improve the accuracy of the binding-time analysis. Extending partial evaluation to handle side-effects by developing an automatic binding-time analysis and a program specializer. The first part of this work will focus on the notion of references a la ML. The improvements described above will allow further applications of partial evaluation in some areas as well as the attack upon new ones. Examples from the area of compiler generation are sub-typing, generic functions, exceptions, and task operations. A novel use of partial evaluation in operating systems involves using partial evaluation to derive automatically implementations of operating system components from generic specifications.