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

来源 :计算机工程 | 被引量 : 0次 | 上传用户：shengbangcl

【摘要】

：

类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销.该文描述了

【作者】

：

李筏青陈晖陈意云

【机构】

：

中国科学技术大学计算机系

【出处】

：

计算机工程

【发表日期】

：

2005年5期

【关键词】

：

代码安全性类型化语言编程语言 Code safety Typed low-level language Programming language

【基金项目】

：

国家自然科学基金，Intel中国研究中心资助项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

牢记党员义务,履行医生职责

随着国家的不断发展与进步,全社会都开始关注医疗卫生事业的发展,促进民生工作的开展.当前的医务工作者要想成为一名具备社会主义核心价值观的优秀医生,就必须时刻谨记自身救

期刊

党员医生职责

摩擦块渗碳淬火工艺优化

阐述了如何通过实践经验与计算机模拟的方式,短时间,平稳、快速的得到摩擦块最佳渗碳淬火工艺.

期刊

渗碳ZG30CrMo表面碳碳浓度

煤矿机电运输设备运行技术探究

煤矿机电运输设备的安全运行关系到煤矿生产的安全,因此,有必要对机电运输设备安全运行的技术措施进行深入探讨.本研究主要阐述了煤矿机电安全技术措施、轨道运输安全技术措

期刊

煤矿机电运输设备

在党的领导下实现中华民族的伟大复兴

中国共产党是中华民族复兴的领导核心。改革开放和社会主义现代化建设的巨大成就，尤其是社会主义制度的建立和完善，为民族振兴的进一步发展创造了条件，同时也在更高层次上给我们

期刊

民族复兴党的领导改革开放现代化

数形结合在初中数学解题中的应用

数形结合是教师在教授数学这门抽象性极强的学科时经常使用的教学思想,它以数量为基础,以图形为辅助,将抽象的数学问题转化为具体的实际问题。文章结合作者的初中数学教学经

期刊

数形结合初中数学解题效率Combination of number and shapeJunior high school mathematicsPr

规划视角下的生态环境治理体系和治理能力提升

因为经济社会的迅速发展,使得环境破坏越来越严重,所以保护生态环境成为我们所有公民义不容辞的责任.环境问题的产生主要是因为不恰当的生产方式,比如粗放式的经济发展方式.

期刊

规划视角生态环境治理体系治理能力绿色发展

低碳经济时代民族地区文化产业发展模式探讨

低碳经济已经成为当今国际经济发展的主要潮流，与此相适应的产业结构调整与升级必然呼唤文化产业的发展。文化是一种软资源，文化产业投资属于中长期投资。西部民族地区在自然资

期刊

低碳经济民族地区文化产业创新资源产业集群

南水北调管理中的土建工程维护管理

在南水北调工程中,土建工程是基础工程,施工量最大,施工质量的好坏直接影响工程的安全运行,因此,在工程管理中,土建工程的维护管理是最重要的部分之一.本文作者根据实践经验,

期刊

南水北调土建工程维护管理

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

其他学术论文