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

A SPECIFICATION METHOD OF PROGRAM TRANSFORMATIONS

作　　者：刘宗田[1] 

机构地区：[1]合肥工业大学微型计算机应用研究所

出　　处：《计算机研究与发展》1998年第1期87-90,共4页Journal of Computer Research and Development

摘　　要：文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。A mode for classifying program transformations, and a method for formally expressing program transformations by 4 tuple are proposed.Transformation in the second type by the classifying mode is more general, during which process not only the object but also the rule base and the knowledge base are modified.A specification for the second type of transformations is illustrated and the Specification Metalanguage of Program Transformations, SMOPT, is presented. The specification and the metalanguage have been applied in the design and the implementation of AB transformer of the decompilation system DECLER.

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

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]