节点文献

几种递归变换的改进模式

Sereral Improved Transformation Patterns for Recursive Schemes

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 张为群； 王旭仁； 罗旭东；

【Author】 Zhang Weiqun, Luo Xudong & Wang Xuren

【机构】 西南师范大学； 北京轻工业学院 重庆 630715； 重庆 630715； 北京 100037；

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

【Abstract】 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.

【关键词】 Automatic programming； Program trasformation； Recursive transformation.；
【Key words】 Automatic programming； Program trasformation； Recursive transformation.；
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,1995年05期
  • 【分类号】TP301.6
  • 【下载频次】16
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)