程序设计自动化

作品数:13被引量:17H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:梅林薛锦陈伟严桂兰金淳兆更多>>
相关机构:吉林大学西安交通大学华侨大学江西师范大学更多>>
相关期刊:《电脑编程技巧与维护》《长春工业大学学报》《长沙大学学报》《电脑开发与应用》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划福建省自然科学基金河北省教育厅科研基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机科学x
条 记 录,以下是1-1
视图:
排序:
几种递归变换的改进模式
《计算机科学》1995年第5期86-88,共3页张为群 王旭仁 罗旭东 
递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
关键词:程序设计自动化 递归变换 Cooper变换 等价变换 
检索报告 对象比较 聚类工具 使用帮助 返回顶部