基于模拟关系的编译优化实现正确性验证方法
徐超, 何炎祥, 吴伟, 陈勇, 刘健博
Verifying Implementation Correctness of Compiling Optimization Based on Simulation Relation
XU Chao, HE Yan-xiang, WU Wei, CHEN Yong, LIU Jian-bo
电子学报
.
2012, (11): 2171
-2176
.
DOI: 10.3969/j.issn.0372-2112.2012.11.005