摘要
通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础。
This paper compares static binary translation with dynamic binary translation,and describes the formal model of binary translation based on the machine states.This formal model gives directions for the practical project of binary translation, and offers the theory base of the validity of binary translation.
出处
《电脑与电信》
2007年第9期9-10,28,共3页
Computer & Telecommunication
关键词
二进制翻译
形式化
模型
binary translation
formalization
model
