| 二进制翻译形式化模型 |
| |
| 引用本文： | 丁松阳,张墨华. 二进制翻译形式化模型[J]. 广东电脑与电讯, 2007, 0(9): 9-10,28 |
| |
| 作者姓名： | 丁松阳 张墨华 |
| |
| 作者单位： | 河南财经学院计算机科学系 河南郑州450002 |
| |
| 摘 要： | 通过对比分析静态与动态二进制翻译系统,描述了基于机器状态的二进制翻译形式化模型。该形式化模型在实践上对于二进制翻译工程具有理论指导作用,并且可为保证翻译过程及结果的正确性提供理论基础。
|
| 关 键 词： | 二进制翻译 形式化 模型 |
Formal Modeling of Binary Translation |
| |
| Ding Songyan,Zhang Mohua. Formal Modeling of Binary Translation[J]. Computer & Telecommunication, 2007, 0(9): 9-10,28 |
| |
| Authors: | Ding Songyan Zhang Mohua |
| |
| Affiliation: | Henan University of Finance and Economics, Zhengzhou 450002, Henan |
| |
| Abstract: | 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. |
| |
| Keywords: | binary translation formalization model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
