| 递归程序变换实验系统XDPTS |
| |
| 引用本文： | 蔡经球,郭艺勋.递归程序变换实验系统XDPTS[J].厦门大学学报(自然科学版),1990,29(4):379-383. |
| |
| 作者姓名： | 蔡经球 郭艺勋 |
| |
| 作者单位： | 厦门大学人工智能与计算机研究所
(蔡经球)，厦门大学经济学院计统系
(郭艺勋)，厦门大学人工智能与计算机研究所(许志端) |
| |
| 摘 要： | 文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。
|
| 关 键 词： | 递归程序设计 程序变换 XDPTS |
Rccursive Program Transformation Demonstrative System XDPTS |
| |
| Cai Jingqiu Guo Yixun Xu zhiduan Jnst. of Arli. Intel. anj Comput..Rccursive Program Transformation Demonstrative System XDPTS[J].Journal of Xiamen University(Natural Science),1990,29(4):379-383. |
| |
| Authors: | Cai Jingqiu Guo Yixun Xu zhiduan Jnst of Arli Intel anj Comput |
| |
| Institution: | Cai Jingqiu Guo Yixun Xu zhiduan Jnst. of Arli. Intel. anj Comput. |
| |
| Abstract: | 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. |
| |
| Keywords: | Recursive Programming Program Transformation Programming Methodology Automatic Programming |
| 本文献已被 CNKI 维普 等数据库收录！ |
