首页> 中文期刊> 《电脑与电信》 >二进制翻译形式化模型

二进制翻译形式化模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电脑与电信》 |2007年第9期|9-10,28|共3页
作者
丁松阳; 张墨华;
展开▼
作者单位

河南财经学院计算机科学系,河南,郑州,450002;

河南财经学院计算机科学系,河南,郑州,450002;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术 ;
关键词
二进制翻译 ; 形式化 ; 模型;

相似文献

中文文献
外文文献
专利

1. 二进制翻译正确性及优化方法的形式化模型 [J] . 傅立国 ,庞建民 ,王军 . 计算机研究与发展 . 2019 ,第009期
2. 基于XML的面向二进制漏洞模式形式化描述研究 [J] . 康凯 ,郭颖 ,崔宝江 . 信息网络安全 . 2012 ,第012期
3. ROUGH集决策表约简二进制形式化方法 [J] . 胡蓉 ,邓少丽 ,邓少波 . 计算机与现代化 . 2007 ,第003期
4. 二进制构件柔性组装机制及其形式化研究 [J] . 周晓峰 ,王志坚 . 计算机工程 . 2006 ,第022期
5. 二进制翻译中标志位的模式化翻译方法 [J] . 王文文 ,武成岗 ,白童心 . 计算机研究与发展 . 2014 ,第010期
6. 基于TCG技术的二进制翻译条件转移指令优化研究 [C] . Zhang Jiahao ,张家豪 ,Shan Zheng . 2018年全国高性能计算学术年会 . 2018
7. 动态二进制翻译中的TCache的设计与实现——基于动态二进制翻译系统CrossBit的优化 [A] . 马舒兰 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号