10.3969/j.issn.1000-3428.2005.05.022
一种新型类型化中间语言的优化实现技术
类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销.该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntime Platform)的即时编译器中.
代码安全性、类型化语言、编程语言
31
TP311.52(计算技术、计算机技术)
国家自然科学基金60173049;Intel中国研究中心资助项目
2005-04-21(万方平台首次上网日期,不代表论文的发表时间)
共3页
63-65