【摘 要】
：
类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销.该文描述了
【基金项目】
：
国家自然科学基金，Intel中国研究中心资助项目
论文部分内容阅读
类型化中间语言是提高代码安全性的一类重要方法.然而在其实现过程中,庞大的类型信息很难被高效地表达和操作.一个未经优化的实现将会给系统带来指数级增长的开销.该文描述了一种新型的类型化中间语言的优化实现技术,并将其成功应用于IntelORP(OpenRuntime Platform)的即时编译器中.
其他文献
随着国家的不断发展与进步,全社会都开始关注医疗卫生事业的发展,促进民生工作的开展.当前的医务工作者要想成为一名具备社会主义核心价值观的优秀医生,就必须时刻谨记自身救
阐述了如何通过实践经验与计算机模拟的方式,短时间,平稳、快速的得到摩擦块最佳渗碳淬火工艺.
煤矿机电运输设备的安全运行关系到煤矿生产的安全,因此,有必要对机电运输设备安全运行的技术措施进行深入探讨.本研究主要阐述了煤矿机电安全技术措施、轨道运输安全技术措
中国共产党是中华民族复兴的领导核心。改革开放和社会主义现代化建设的巨大成就，尤其是社会主义制度的建立和完善，为民族振兴的进一步发展创造了条件，同时也在更高层次上给我们
数形结合是教师在教授数学这门抽象性极强的学科时经常使用的教学思想,它以数量为基础,以图形为辅助,将抽象的数学问题转化为具体的实际问题。文章结合作者的初中数学教学经
因为经济社会的迅速发展,使得环境破坏越来越严重,所以保护生态环境成为我们所有公民义不容辞的责任.环境问题的产生主要是因为不恰当的生产方式,比如粗放式的经济发展方式.
低碳经济已经成为当今国际经济发展的主要潮流，与此相适应的产业结构调整与升级必然呼唤文化产业的发展。文化是一种软资源，文化产业投资属于中长期投资。西部民族地区在自然资
在这个科技高速发展的时代,网络经济兴起且逐渐成为主流经济体系之一.经济的发展离不开网络,财务会计管理也越来越依赖网络.但是,魔鬼总是隐藏在细节之中,现在的网络还是存在
大学生作为社会主义经济建设的生力军，除了要有丰富的理论知识，健康的体魄，还应该具有较强的心理素质，尤其是多元文化交互碰撞的今天，大学生的心理活动也越发复杂，在此种形式下，“大
在南水北调工程中,土建工程是基础工程,施工量最大,施工质量的好坏直接影响工程的安全运行,因此,在工程管理中,土建工程的维护管理是最重要的部分之一.本文作者根据实践经验,