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