文献类型：期刊文献

中文题名：二进制翻译形式化模型

英文题名：Formal Modeling of Binary Translation

作者：丁松阳[1];张墨华[1]

第一作者：丁松阳

机构：[1]河南财经学院计算机科学系

第一机构：河南财经政法大学计算机与信息工程学院

年份：2007

期号：9

起止页码：9-10

中文期刊名：电脑与电信

外文期刊名：Computer & Telecommunication

语种：中文

中文关键词：二进制翻译;形式化;模型

外文关键词：binary translation; formalization; model

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