一种用于Java程序验证编译的标签类型

• 作者: 茹祥民 陈意云 陈晖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 类型保持编译 类型调度 标签机制
• 年，卷（期）: 2005,（3）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 346-354
• 页数: 9页
• 分类号: TP301
• 字数: 9095字
• 语种: 中文

摘要

在基于语言考虑代码安全性的工作中,往往需要将高级语言程序翻译成类型化低级语言的程序进行类型检查.许多高级语言具有类型调度结构,在向低级语言的编译过程中需要用标签机制来实现.针对具有多继承接口的Java程序包含的一种特殊的类型调度结构,提出了一种新的标签类型.包含这种标签类型的低级语言能够有效地实现Java程序中的接口调用.这种对接口调用的编译方法被用在一个以类型化低级语言为验证语言的Java字节码即时编译器中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈晖	中国科学技术大学计算机科学系	19	123	6.0	10.0
2	陈意云	中国科学技术大学计算机科学系	83	854	16.0	26.0
3	茹祥民	中国科学技术大学计算机科学系	1	2	1.0	1.0