摘要
文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。
An interactive demonstrative system XDPTS according to the method of Recursive Program Transformation is described.Based on some program tfansformation patterns presented in other papers. XDPTS implements the equavilent transformation from nontail-recursive functional program to tail -recursive one. and produces a iterative program which can be excuted directly and independently. The work of XDPTS is an important initial step for farther research on automatic programming.
出处
《厦门大学学报（自然科学版）》
CAS
CSCD
北大核心
1990年第4期379-383,共5页
Journal of Xiamen University：Natural Science
基金
国家自然科学基金
关键词
递归程序设计
程序变换
XDPTS
Recursive Programming. Program Transformation,Programming Methodology. Automatic Programming
