Heap Storage Optimizations and Their Semantics in Higher-Order Languages

Scheme和Standard ML等现代高阶语言提供了简单但强大的工具，可以通过抽象来控制复杂性。二十年来，这些语言研究的一个主要目标是开发实现技术，使它们的性能更接近低级语言。本计画将结合理论与实验技术，研究高阶程式语言中记忆体使用的最佳化技术。具体活动包括：（1）开发用于证明编译器中存储优化正确性的理论方法。(2)证明聚合更新分析及其相关转换的几种变体的正确性。(3)分代垃圾收集新算法的分析与实验研究。 ***

Modern higher-order languages such as Scheme and Standard ML provide simple but powerful tools for controlling complexity through abstraction. For twenty years, a major goal for research on these languages has been the development of implementation techniques that bring their performance closer to that of lower level languages. This project will study techniques for optimizing the use of memory in higher- order programming languages, using a combination of theoretical and experimental techniques. Specific activities include: (1) Development of theoretical methods for proving the correctness of storage optimizations in compilers. (2) Proof of correctness of several variations of aggregate update analysis and their associated transformations. (3) Analysis and experimental investigation of new algorithms for generational garbage collection. ***