引用本文: | 傅立国, 庞建民, 王军, 张家豪, 岳峰. 二进制翻译正确性及优化方法的形式化模型[J]. 计算机研究与发展, 2019, 56(9): 2001-2011. doi: 10.7544/issn1000-1239.2019.20180513 |
Citation: | Fu Liguo, Pang Jianmin, Wang Jun, Zhang Jiahao, Yue Feng. Formal Model of Correctness and Optimization on Binary Translation[J]. Journal of Computer Research and Development, 2019, 56(9): 2001-2011. doi: 10.7544/issn1000-1239.2019.20180513 |