基于解释的程序转换  

EXPLANATION BASED PROGRAM TRANSFORMATION

作　　者：丁琴[1] 徐家福[2] 

机构地区：[1]河海大学计算机系,南京210024 [2]南京大学计算机软件研究所,南京210008

出　　处：《计算机学报》1992年第12期881-888,共8页Chinese Journal of Computers

摘　　要：程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.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.

关 键 词：程序转换 软件自动化 

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