Principles and Applications of Partial Evaluation

部分评估的原理和应用

• 批准号: 9104043
• 负责人: Paul Hudak
• 金额: $ 5万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-07-01 至 1992-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9104043&HistoricalAwards=false
• 关键词: Principles; Applications; Partial; Evaluation

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).

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