节点文献

二进制翻译形式化模型

Formal Modeling of Binary Translation

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 丁松阳； 张墨华；

【Author】 Ding Songyang Zhang Mohua(Henan University of Finance and Economics,Zhengzhou 450002,Henan)

【机构】 河南财经学院计算机科学系； 河南财经学院计算机科学系 河南郑州450002； 河南郑州450002；

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

【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.

【关键词】 二进制翻译； 形式化； 模型；
【Key words】 binary translation； formalization； model；
  • 【文献出处】 电脑与电信 ,Computer & Telecommunication , 编辑部邮箱 ,2007年09期
  • 【分类号】TP314
  • 【被引频次】1
  • 【下载频次】38
打印本页
节点文献中：