论文部分内容阅读
在实现一种新的类型化低级语言TLL（Typed Low-level Language）的过程中，发现从Java到字节码（bytecode）的翻译过程中丢弃了部分类型信息。在设计中，不仅要保持字节码中现有的类型信息，而且要从中推导出丢失的类型信息。论文介绍了类型重建中的基本问题，并针对一些难解问题提出了重建算法。