论文部分内容阅读
本文的工作基于Intel的开放式运行平台(OpenRuntimePlatform，简称ORP)。提出了对类型化低级语言语言(TypedLow-levelLanguage，简称TLL)的扩展，将利用类型信息所带来的类型安全性带到接近于汇编语言的一层。前期的工作支持了Java虚拟机语言(Javavirtualmachinelanguage，简称JVML)的一些基本特性：单类继承，数据和方法类成员描述符，数组操作等。本文的工作将完成对JVML如下特性的扩展：静态成员，接口多继承，动态下溯(dynamicaldowncast)。