程序变换的一种规范说明方法

作     者：刘宗田 

作者机构：合肥工业大学微型计算机应用研究所 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：1998年第35卷第1期

页      码：87-90页

摘      要：文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。

主 题 词：程序变换 面向对象 知识库 反编译系统 软件工程 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203271188...