高级检索

    二进制翻译正确性及优化方法的形式化模型

    傅立国 庞建民 王军 张家豪 岳峰

    傅立国, 庞建民, 王军, 张家豪, 岳峰. 二进制翻译正确性及优化方法的形式化模型[J]. 计算机研究与发展, 2019, 56(9): 2001-2011. doi: 10.7544/issn1000-1239.2019.20180513
    引用本文: 傅立国, 庞建民, 王军, 张家豪, 岳峰. 二进制翻译正确性及优化方法的形式化模型[J]. 计算机研究与发展, 2019, 56(9): 2001-2011. doi: 10.7544/issn1000-1239.2019.20180513
    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
    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

     

                     

                  

                         

                     

                        

    •  
    •  
    •  
    •  
    •  
    •  
    •  

    /

    返回文章
    返回