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

Design and Application of Typed Low-Level Language

作　　者：陈晖[1] 陈意云[1] 项森[1] 

机构地区：[1]中国科学技术大学计算机系,安徽合肥230027

出　　处：《小型微型计算机系统》2006年第5期913-918,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60473068)资助

摘　　要：介绍了以构造一个具有更小的需信任计算基础的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.

关 键 词：类型化语言 代码安全 验证编译 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]