首页> 中文期刊>计算机研究与发展 >自顶向下的归纳程序综合方法

自顶向下的归纳程序综合方法

开具论文收录证明 >>

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

页面导航

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

摘要

自顶向下的归纳程序综合基于枚举识认方法.本文以归纳程序综合系统NDIPS为背景,介绍自顶向下的归纳程序综合算法,以及程序假设空间的组织、搜索所采用的技术和策略.

著录项

来源
《计算机研究与发展》|1992年第2期|22-26|共5页
作者
王志坚; 王军; 徐家福;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机软件;
关键词
程序; 综合; 归纳; 自顶向下;
入库时间 2023-07-25 09:27:46

相似文献

中文文献
外文文献
专利

1. 以巴黎释意学派口译理论为例——探讨归纳演绎分析综合方法的应用 [J] . 陈竹 . 青年与社会 . 2013,第016期
2. 以巴黎释意学派口译理论为例——探讨归纳演绎分析综合方法的应用 [J] . 陈竹 . 青年与社会：上 . 2013,第006期
3. 计算机编译程序中自顶向下分析的出错处理 [J] . 李国懿 . 通讯世界 . 2017,第002期
4. 自顶向下的测试程序设计 [J] . 穆志强 ,张宏涛 . 国外电子测量技术 . 1994,第1期
5. 计算机结构程序设计原理与应用系列讲座：第八讲自顶向下结构设计技术与方法 [J] . 周启海 . 电子与电脑 . 1990,第008期
6. 基于Tableau的程序综合方法的完全正确性证明 [C] . 高晓雷 ,缪淮扣 . 2003中国计算机大会 . 2003
7. 基于综合方法的中医临床实践指南制定程序研究 [A] . 史楠楠 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号