几种递归变换的改进模式  

Sereral Improved Transformation Patterns for Recursive Schemes

作　　者：张为群[1] 王旭仁[1] 罗旭东[2] 

机构地区：[1]西南师范大学,重庆630715 [2]北京轻工业学院,北京100037

出　　处：《计算机科学》1995年第5期86-88,共3页Computer Science

摘　　要：递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。In this paper,several improved transformation patterns for recursive schemes are pre-sented.their correctness is proved by the structural induction,and examples are given.

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

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