| 基于解释的程序转换 |
| |
| 引用本文： | 丁琴 徐家福. 基于解释的程序转换[J]. 计算机学报, 1992, 15(12): 881-888 |
| |
| 作者姓名： | 丁琴 徐家福 |
| |
| 作者单位： | 河海大学计算机系，南京大学计算机软件研究所 南京 210024，南京 210008 |
| |
| 摘 要： | 程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.
|
| 关 键 词： | 程序转换 软件自动化 |
EXPLANATION BASED PROGRAM TRANSFORMATION |
| |
| Ding Qin. EXPLANATION BASED PROGRAM TRANSFORMATION[J]. Chinese Journal of Computers, 1992, 15(12): 881-888 |
| |
| Authors: | Ding Qin |
| |
| Abstract: | This paper gives an explanation based program transformation method which can use examples to guide the transformation process. An algorithm which applies the method to optimize multi-recursive programs is described, and its implementation in one module of NDSAIL system is given. |
| |
| Keywords: | Transformation learning optimization. |
| 本文献已被 CNKI 维普 等数据库收录！ |
