【摘要】 在实现一种新的类型化低级语言TLL(TypedLow-levelLanguage)的过程中,发现从Java到字节码(bytecode)的翻译过程中丢弃了部分类型信息。在设计中,不仅要保持字节码中现有的类型信息,而且要从中推导出丢失的类型信息。论文介绍了类型重建中的基本问题,并针对一些难解问题提出了重建算法。更多还原

【Abstract】 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.更多还原