| 程序变换的一种规范说明方法 |
| |
| 引用本文： | 刘宗田.程序变换的一种规范说明方法[J].计算机研究与发展,1998,35(1):87-90. |
| |
| 作者姓名： | 刘宗田 |
| |
| 作者单位： | 合肥工业大学微型计算机应用研究所 |
| |
| 摘 要： | 文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。
|
| 关 键 词： | 程序变换 面向对象 知识库 反编译系统 软件工程 |
A SPECIFICATION METHOD OF PROGRAM TRANSFORMATIONS |
| |
| Liu Zongtian.A SPECIFICATION METHOD OF PROGRAM TRANSFORMATIONS[J].Journal of Computer Research and Development,1998,35(1):87-90. |
| |
| Authors: | Liu Zongtian |
| |
| Abstract: | 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. |
| |
| Keywords: | program transformations specification metalanguage ) Abstract data types object oriented knowledge base decompilation system |
| 本文献已被 CNKI 维普 等数据库收录！ |
