A Typed Low-Level Language Used in Java Virtual Machine

Authors：Chen Hui; Chen Yiyun; Wu Ping; Xiang Sen

Source：计算机研究与发展, 2006, 43(1).

• 类型化语言
• 代码安全
• 验证编译

为了能够减小运算系统的需信任计算基础、描述较小粒度的安全策略,目前的研究倾向于从程序设计语言和编译器入手来提高软件的安全性.基于以上研究背景设计了一种类型化的低级语言TLL. TLL是一种为Java虚拟机即时编译器设计的类型安全中间语言,以构造一个具有更小需信任计 算基础的Java虚拟机系统为目的.TLL的类型系统基于多态的类型化λ演算,它具有丰富的表现力且能够编码各种高级语言的抽象.基于TLL的一个虚拟机原型系统已经实现,它可以作为实现一个高安全且面向多种源语言的运行时系统的起点.

• Institution
  中国科学技术大学