Java虚拟机上的类型重建  

Type Reconstruction on Java Virtual Machine

作　　者：茹祥民[1] 吴萍[1] 陈意云[1] 

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

出　　处：《计算机工程与应用》2005年第31期92-95,共4页Computer Engineering and Applications

基　　金：国家自然科学基金项目(编号:60173049);Intel中国研究中心资助

摘　　要：在实现一种新的类型化低级语言TLL(TypedLow-levelLanguage)的过程中,发现从Java到字节码(bytecode)的翻译过程中丢弃了部分类型信息。在设计中,不仅要保持字节码中现有的类型信息,而且要从中推导出丢失的类型信息。论文介绍了类型重建中的基本问题,并针对一些难解问题提出了重建算法。When implementing a new Typed Low-level Language （TLL）,a fact is found that some type information has been abandoned after translation from Java to bytecode.In this implementation,not only the type information kept in bytecode is reserved,but also those that have been abandoned are inferred.This paper describes some basic questions about type reconstruction,and proposes some algorithms.

关 键 词：类型重建 类型保持编译 JAVA 虚拟机 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]