基于模拟关系的编译优化实现正确性验证方法.pdfVIP

第 11期 电 子 学 报 v01．40 No．11 2012年 11月 ACrA Ⅱ CIR0NICA sIM CA Nov． 2012 基于模拟关系的编译优化实现正确性验证方法 徐 超 ，，一，何炎祥 ，吴 伟 ，陈 勇 ，刘健博 。 (1．武汉大学计算机学院，湖北武汉 430072；2．徐州工业职业技术学院，江苏徐州 221000； 3．软件工程国家重点实验室，湖北武汉 430072) 摘 要： 编译器中通常采用各种优化方法来提高 目标代码的质量 ，为了实现较好的效果，一些编译优化算法通 常十分复杂，很容易给可靠性和安全性带来隐患．现有的编译器缺陷大部分是由优化阶段引起的．传统的编译优化正 确性研究大部分只关注优化算法的正确性，但是只有该算法被正确的实现了才能确保实际运行的优化过程是正确的． 本文提出一种基