首页> 中文期刊> 《软件学报》 >基于轨迹的归纳程序综合

基于轨迹的归纳程序综合

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。

著录项

来源
《软件学报》 |1993年第2期|15-20|共6页
作者
王志坚; 章骏;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP311.51;
关键词
归纳程序; 轨迹; 程序设计; 自动化;

相似文献

中文文献
外文文献
专利

1. 基于概念学习的归纳程序综合 [J] . 王志坚 ,陆朝俊 ,王军 . 计算机研究与发展 . 1992,第004期
2. 基于问题求解的归纳程序综合 [J] . 王志坚 ,章骏 ,徐家福 . 计算机研究与发展 . 1991,第006期
3. 自顶向下的归纳程序综合方法 [J] . 王志坚 ,王军 ,徐家福 . 计算机研究与发展 . 1992,第002期
4. 模式推理在归纳程序综合中的应用 [J] . 王志坚 . 计算机学报 . 1992,第009期
5. 归纳程序综合系统NDIPS的设计 [J] . 徐家福 ,戴敏 . 软件学报 . 1990,第001期
6. 基于Tableau的程序综合方法的完全正确性证明 [C] . 高晓雷 ,缪淮扣 . 2003中国计算机大会 . 2003
7. 基于广义归结的程序综合 [A] . 刘振晗 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号