翻译正确性相关论文
描述逻辑是一种适合表示结构化数据的形式语言.通过将某种数据模型表示到描述逻辑，可以利用描述逻辑本身的推理机制对数据模型满足......
二进制翻译在体系结构设计、程序性能优化、安全性分析以及软件移植等领域的研究中备受关注.不同应用场景对二进制翻译的需求各不......
