递归程序变换及其实验 |
| |
引用本文: | 蔡经球,郭艺勋.递归程序变换及其实验[J].计算机科学,1990,17(3):60-65. |
| |
作者姓名: | 蔡经球 郭艺勋 |
| |
作者单位: | 厦门大学人工智能与计算机研究所,厦门大学人工智能与计算机研究所,厦门大学人工智能与计算机研究所 厦门大学经济学院计统系,厦门大学经济学院工商管理教育中心 |
| |
摘 要: | 递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。
|
关 键 词: | 软件自动化 递归程序变换 程序变换 |
本文献已被 CNKI 维普 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|