Typed Common Intermediate Format

9901011张少本研究的主要目标是为多种高级编程语言设计和开发一种类型化的通用中间格式(名为Flint)。Flint是基于多态Lambda演算Fomega的扩展变体。尽管高级语言在语义上可能非常不同，但它们都具有严格的数学类型系统。Flint提供了一个通用的编译器后端，可以快速调整以生成新语言的编译器。凭借其统一的类型系统，Flint成为了一个关于跨语言互操作的强大推理平台。之前关于Flint的工作是在ML的上下文中完成的。这项拟议的研究将扩展Flint以支持其他语言特性，如Java中的类和对象、方案中的动态类型、Haskell中的延迟求值和类型类，以及C和MODLA-3中的各种系统编程原语。目标是在不同的高级语言之间实现安全、原则性和细粒度的语言互操作，并使用C和汇编代码。

9901011 Zhang ShaoThe main objective of this research is to design and develop a typed common intermediate format (named FLINT) for multiple advanced programming languages. FLINT is based on an extended variant of the polymorphic lambda calculus Fomega. Although advanced languages can be very different in semantics, they all have a mathematically rigorous type system. FLINT provides a common compiler backend that can be quickly adapted to generate compilers for new languages. With its unified type system, FLINT serves as a great platform for reasoning about cross-language interoperations. Previous work on FLINT was done in the context of ML. This proposed research will extend FLINT to support other language features such as classes and objects in Java, type dynamic in Scheme, lazy evaluation and type classes in Haskell, and various system-programming primitives in C and Modula-3. The goal is to achieve safe, principled, and fine-grain language interoperation between different advanced languages and with C and assembly code.