CAREER: A Partial Evaluation Tool Set for Automatically Customizing Adaptable Software

9701418部分评估是程序专业化、定制和优化的自动工具。该项目的目标是建立部分评估技术，作为构建和定制用现代命令式编程语言编写的可适应软件的新方法的关键组成部分。尽管得到了成功的应用，但目前的部分求值技术不能令人满意地处理包括面向对象、多任务和异常处理功能的现代命令式语言。此外，部分求值器构造还没有开始接近编译器构造的成熟度，在编译器构造中，组织良好的工具集极大地减轻了设计、构建和修改系统的负担。该项目的重点是构建一个独立于语言的工具集，用于构建能够处理现代命令式语言中的特征的部分评估系统。该工具包将建立在Arcadia项目开发的IRIS语言处理设施之上。该工具集的核心将是Ada 95的通用专业化环境。将通过在(A)为一个或多个应用领域构建一个专用专门化程序，以及(B)为IRIS工具支持的第二种语言的最小核心构建第二个通用专门化程序而重复使用人工产物来验证工具集原理。***

9701418 Partial evaluation is an automatic tool for program specialization, customization, and optimization. The goal of this project is to establish partial evaluation technology as the key component of a new methodology for constructing and customizing adaptable software written in modern imperative programming languages. Despite successful applications, current partial evaluation technology is unable to satisfactorily treat modern imperative languages that include object-oriented, multitasking, and exception- handling features. Moreover, partial-evaluator construction does not begin to approach the maturity of compiler construction where well-organized tools sets dramatically ease the burden of designing, building, and modifying systems. The project focuses on the construction of a language-independent tool set for building partial evaluation systems that can handle features found in modern imperative languages. This tool set will be built on top of the IRIS language processing facilities developed in the Arcadia project. The core of the tool set will be a general- purpose specialization environment for Ada 95. The tool set philosophy will be validated by reusing artifacts in (a) the construction of a special-purpose specializer for one or more application domains, and (b) the construction of a second general-purpose specializer for a minimal core of a second language supported by the IRIS tools. ***