-
31浏览
-
0点赞
-
0收藏
-
0分享
-
48下载
-
0评论
-
引用
期刊论文
程序变换的一种规范说明方法
计算机研究与发展,1998,35(1):87~90,-0001,():
文中给出了一种对程序变换进行分类的方法,提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言SMOPT。介绍了这一规范说明方法和SMOPT在反编译系统DECLER的AB变换器的设计与实现中的应用。所实现的AB变换器能完成基本的数据类型恢复,并能在使用中不断丰富其功能。
【免责声明】以下全部内容由[刘宗田]上传于[2009年07月21日 16时32分36秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。
本学者其他成果
同领域成果