【摘 要】
:
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶
【机 构】
:
武汉大学计算机学院,徐州工业职业技术学院,软件工程国家重点实验室
【基金项目】
:
国家自然科学基金重点项目(No.91118003),国家自然科学基金面上项目(No.61170022)
论文部分内容阅读
编译器中通常采用各种优化方法来提高目标代码的质量,为了实现较好的效果,一些编译优化算法通常十分复杂,很容易给可靠性和安全性带来隐患.现有的编译器缺陷大部分是由优化阶段引起的.传统的编译优化正确性研究大部分只关注优化算法的正确性,但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的.本文提出一种基于模拟关系的方法来验证编译优化实现的正确性.在每次优化结束后,我们通过建立优化前代码和优化后代码之间的模拟关系生成优化正确应满足的逻辑条件,然后验证逻辑条件是否成立从而判定编译优化的实现是否正确性.以优化
其他文献
从世界第一家信用卡公司产生至今,银行卡产业已有50年的历史,经过50多年的发展,围绕信用卡业务已经催生出一个规模庞大的产业,从卡片生产商到系统集成商,从国内同业竞争到国
目的探讨应用人文关怀+新型单病种电话随访措施对上尿路结石术后留置双J管的患者进行延续性随访的效果。方法选取2016年3月-2018年3月收治例上尿路结石术后留置双J管患者311例
本文简述了我国企业技术创新的现状和问题,提出了营造企业技术创新环境的要点和建议。
县域综合竞争力发展下系于民生,上关乎国运,对于加快县域各方面发展具有重要的意义。然而目前国内有关县域综合竞争力的研究还不是很完善。本文在对县域综合竞争力的基本内涵
母婴同室前、后新生儿发病的比较分析江西省妇幼保健院新生儿科(330006)朱亨弥金晓兰傅群为保障婴儿健康,提高儿童生存能力,实现WHO提出的2000年4m纯母乳喂养率达到80%的全球总目标,实行母婴同室,创建
目的探讨己时小郁子油脐疗对骨折卧床所致患者便秘的影响。方法采用便利抽样,抽取2017年12月-2018年4月在广州中医药大学顺德医院骨科卧床所致患者便秘作为研究对象。按入院
风险投资自诞生以来,由于它推动科技产业化方面的巨大作用,迅速得到了世界各国的认同。我国风险投资起步较晚,上自政府下至企业还未能对风险投资的风险管理,特别是财务风险管
经过反复酝酿,广泛调研,层层推荐,根据新形势需要,《江西医药》第十届编辑委员会日前宣告成立,丁晓群担任编辑委员会主任委员。《江西医药》第十届编辑委员会由93位委员组成,
东北亚是世界上最重要、最复杂的地区之一,既存在着国家体制方面的巨大差异,存在着各国间这样或那样的领土、领海纠纷,又保持着相互间密切的经济联系。本文从分析东北亚区域
国库集中支付制度是我国公共财政体制改革的重要内容。本文分析了高校实施国库集中支付制度过程中的存在的问题,并提出了完善高校国库集中支付改革的措施。