一种类型化低级语言的设计与应用

Design and Application of Typed Low-Level Language

介绍了以构造一个具有更小的需信任计算基础的Java虚拟机系统为目的的研究工作,将一种类型安全的低级语言TLL应用到Java虚拟机的即时编译器中.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个具有微小的需信任计算基础的Java虚拟机的起点.

This paper introduces a research work based on TLL, a typed low-level language. This language is designed to be a type-safe intermediate language used in Just-In-Time compiler of Java virtual machine. The work described is based on fntel ORP, and aims at building a smaller Trusted Computing Base. TLL is closer to assemble language than JVML, and code written in TLL is convenient to be optimized. TLL type system is based on polymorphic typed lambda calculus, which is expressive and general to encode various hlgh-level language features. A prototype using TLL as intermediate language in Just-In-Time compiler provides a start point for building Java Virtual Machine with tiny Trusted Computing Base.