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.