位置:成果数据库 > 期刊 > 期刊详情页
一种类型化低级语言的设计与应用
  • 期刊名称:小型微型计算机系统,已录用
  • 时间:0
  • 作者或编辑:3448
  • 第一作者所属机构:中国科学技术大学
  • 语言:中文
  • 分类:TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]中国科学技术大学计算机系,安徽合肥230027
  • 相关基金:国家自然科学基金项目(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.

同期刊论文项目
同项目期刊论文