ISSN 1000-1239 CN 11-1777/TP
二进制翻译正确性及优化方法的形式化模型
傅立国,庞建民,王军,张家豪,岳峰
Formal Model of Correctness and Optimization on Binary Translation
Fu Liguo, Pang Jianmin, Wang Jun, Zhang Jiahao, Yue Feng
计算机研究与发展 . 2019, (9): 2001 -2011 .  DOI: 10.7544/issn1000-1239.2019.20180513