期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
扩展的Cooper变换 被引量：3
1
作者 蔡经球 张克均 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第5期474-476,共3页
提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。
关键词 程序变换 自动程序设计 cooper变换
下载PDF
几种递归变换的改进模式
2
作者 张为群 王旭仁 罗旭东 《计算机科学》 CSCD 北大核心 1995年第5期86-88,共3页
递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。
关键词 程序设计自动化 递归变换 cooper变换 等价变换
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部