Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages

9806745 Kfoury、Assaf J. Wells、Joseph B. 波士顿大学实验软件系统：协作研究：流类型在高阶类型语言的高效、模块化和可靠编译中的应用现代编程语言（例如 ML、Haskell、Scheme、Java）具有多种表达功能，使程序员能够从低级、系统特定的细节中抽象出来，并获得代码安全、代码重用和安全性等好处。模块化。 不幸的是，这些功能很难在编译器中有效实现。 主要困难在于编译器必须决定在不同上下文中将哪些具体表示分配给同一类型的不同抽象。 传统编译器（效率低下）通过为所有数据选择统一的表示来解决这个问题。 这项研究是 Church 项目 (http://www.cs.bu.edu/groups/church) 的一部分，通过 (1) 在程序的中间表示中嵌入类型和控制/数据流信息，(2) 在编译器的各个阶段保持此信息的准确性，以及 (3) 使用此信息根据上下文自定义数据表示，并驱动多个编译器优化，从而解决了这一挑战。 目标是通过实验评估这些“流程类型”编译诸如机器学习之类的现代语言的功效。 这项研究的产品将包括一个可以根据流程信息进行调整的编译器工作台，表明编译中类型和流程信息有效性的实验结果，以及用于程序片段编译的新框架的设计、实现和评估。

9806745 Kfoury, Assaf J. Wells, Joseph B. Boston University Experimental Software Systems: Collaborative Research: Applications of Flow Types in the Efficient, Modular, and Reliable Compilation of Higher-Order Typed Languages Modern programming languages (e.g. ML, Haskell, Scheme, Java) have several expressive features that let programmers abstract away from low-level, system-specific details and achieve benefits like code safety, code reuse, and modularity. Unfortunately, these features are challenging to implement efficiently in a compiler. The central difficulty is that the compiler must decide what concrete representations to assign to different abstractions of the same type in different contexts. Traditional compilers (inefficiently) solve this problem by choosing a uniform representation for all data. This research, part of the Church Project (http://www.cs.bu.edu/groups/church) addresses this challenge by (1) embedding type and control/data flow information in the intermediate representation of the program, (2) maintaining the accuracy of this information through the stages of the compiler and (3) using this information to customize data representations based on context, and to drive several compiler optimizations. The goal is to experimentally evaluate the efficacy of these "flow types" to compile a modern language like ML. Products of this research will include a compiler workbench that can be tuned with respect to flow information, experimental results indicating the effectiveness of type and flow information in compilation, and the design, implementation and evaluation of a new framework for the compilation of program fragments.