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

摘要：

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

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

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目60473068

在线出版日期：2006-06-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：913-918