二进制翻译形式化模型

摘要：

通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型.该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础.

关键词：二进制翻译、形式化、模型

分类号：TP3(计算技术、计算机技术)

在线出版日期：2007-11-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：9-10,28