在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结......

在实现一种新的类型化低级语言TLL（Typed Low-level Language）的过程中，发现从Java到字节码（bytecode）的翻译过程中丢弃了部分类型信息......