Staged Computation

9619832本研究的目标是发展“分阶段计算”的概念。“直觉上，这个想法是执行程序并使用早期计算的结果来优化后期计算。这是通过使用部分评估和运行时代码生成来实现的。本研究探讨在何种程度上可以利用分阶段计算，以提高软件的适应性和安全性，同时实现良好的性能。工作的重点是设计一个富有表现力的类型系统，用于在源代码级别进行分级计算，在编译器中使用类型化中间语言，以及利用显式计算阶段的代码生成技术。研究的起点是ML语言。拟议的研究预计将导致新的编译器技术，将支持，在一个集成的方式，一个显着更大的类的优化比目前可能的，包括链接时和运行时优化的代码。 ***

9619832 The goal of the research is to develop the notion of "staged computation." Intuitively, the idea is to execute programs and use the results of early computations to optimize later computations. This is accomplished by making use of both partial evaluation and run-time code generation. The research investigates to what extent staged computation can be exploited to improve the adaptability and safety of software while achieving good performance. The focus of the work is the design of an expressive type system for staged computation at the source level, a typed intermediate language within a compiler, and code generation technology to take advantage of explicit computation stages. The starting point for the investigation is the ML language. The proposed research is expected to lead to new compiler technology that will support, in an integrated way, a significantly larger class of optimizations than is currently possible, including both link-time and run-time optimization of code. ***