几种递归变换的改进模式

作     者：张为群 王旭仁 罗旭东 Zhang Weiqun, Luo Xudong & Wang Xuren

作者机构：西南师范大学重庆630715 北京轻工业学院北京100037 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：1995年第22卷第5期

页      码：86-88页

摘      要：递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。

主 题 词：程序设计自动化 递归变换 Cooper变换 等价变换 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203154641...