语义等价验证相关硕士博士期刊学术论文 - 信丰网

语义等价验证相关论文

一种二进制翻译中间表示正确性的测试方法

为实现软件多源多目标的跨平台无源移植和优化,中间表示被二进制翻译系统普遍使用。基于翻译中中间表示的作用,提出基于语义等价验......

期刊

二进制翻译中间表示正确性测试语义等价验证状态初始化 binary translation intermediate representation cor

看过本文同时还关注