一种新型类型化中间语言的优化实现技术

• 作者: 李筏青 陈意云 陈晖
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 代码安全性 类型化语言 编程语言
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 基金项目论文
• 页码范围: 63-65
• 页数: 3页
• 分类号: TP311.52
• 字数: 5000字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.05.022

摘要

类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销.该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntime Platform)的即时编译器中.

作者信息

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