摘要
在实现一种新的类型化低级语言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.
出处
《计算机工程与应用》
CSCD
北大核心
2005年第31期92-95,共4页
Computer Engineering and Applications
基金
国家自然科学基金项目(编号:60173049)
Intel中国研究中心资助
关键词
类型重建
类型保持编译
JAVA
虚拟机
type reconstruction, type-preserving compilation, Java, virtual machine
