Typed Common Intermediate Format

9901011 本研究的主要目标是设计和开发一种适用于多种高级程序设计语言的类型化公共中间格式（FLINT）。 FLINT基于多态lambda演算Fomega的扩展变体。 虽然高级语言在语义上可能有很大的不同，但它们都有一个数学上严格的类型系统。FLINT提供了一个通用的编译器后端，可以快速适应 为新语言生成编译器。 通过其统一的类型系统，FLINT可以作为跨语言互操作推理的一个很好的平台。以前关于FLINT的工作是在ML的背景下完成的。这项研究将扩展FLINT以支持其他语言功能，如Java中的类和对象，Scheme中的动态类型，Haskell中的惰性求值和类型类，以及C和Modula-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.