摘要
文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第1期87-90,共4页
Journal of Computer Research and Development
关键词
程序变换
面向对象
知识库
反编译系统
软件工程
program transformations, specification metalanguage, ) Abstract data types, object oriented knowledge base, decompilation system
