×
道格拉斯·史密斯。

自上而下综合分治算法。 （英语） Zbl 0573.68053号

Artif公司。智力。 27, 43-96 (1985).
提出了一种自顶向下的方法，用于从问题的形式规范中推导算法。该方法已在一个名为CYPRESS的系统中实现。综合过程包括将初始规范自上而下分解为子问题的规范层次结构。为这些子问题中的每一个子问题综合程序，结果是组成一个层次结构的程序。允许初始规范是部分的，因为可能缺少一些或所有输入条件。CYPRESS完成了规范并生成了完全正确的应用程序。CYPRESS的许多知识都是以各种算法的“设计策略”的形式出现的。探讨了一类分治算法的结构，并为几种设计策略提供了依据。给出了合并排序和快速排序算法的详细推导。

引用于10文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68N99型 软件理论
第68页第10页 搜索和排序

关键词：

排序;程序综合;减少问题;从问题的形式化描述推导算法;子问题规范的层次结构;合并排序;快速排序
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Smith}，阿蒂夫。智力。27、43——96（1985年；Zbl 0573.68053）
全文： 内政部

参考文献：

[1] 阿霍，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，（数据结构和算法（1983），Addison-Wesley：Addison-Whesley Reading，MA）·Zbl 0487.68005号
[2] Balzer，R.，《转换实现：示例》，IEEE Trans。软件工程，7，1，3-14（1981）
[3] 巴斯托，D.R.，（基于知识的项目建设（1979年），爱思唯尔北卡罗来纳州：爱思唯尔北卡罗莱纳州纽约市）
[4] 巴斯托，D.R.，《知识和演绎在程序综合中的作用》，（《第六届国际人工智能联合会议论文集》，第六届人工智能国际联合会议，日本东京（1979）），37-43
[5] Bibel，W.，语法定向，语义支持的程序合成，人工智能，14，243-261（1980）
[6] Bledsoe，W.W.，非分辨率定理证明，人工智能，9，1-35（1977）·Zbl 0358.68131号
[7] 布罗伊，M。；Pepper，P.，作为正式活动的程序开发，IEEE Trans。软件工程，7，14-22（1981）·Zbl 0447.68005号
[8] R.伯斯托尔。；Darlington，J.，开发递归程序的转换系统，J.ACM，24，44-67（1977）·Zbl 0343.68014号
[9] 克拉克·K·L。；Darlington，J.，综合算法分类，计算机J，23，1，61-65（1980）·Zbl 0426.68041号
[10] Darlington，J.，《几种排序程序的综合》，《信息学报》，11，1，1-30（1978）·兹伯利0389.68037
[11] 北卡罗来纳州德肖维茨。；Manna，Z.，《关于自动化结构化编程》（IRIA关于证明和改进程序的会议论文集。IRIA关于验证和改进程序会议论文集，法国Arc-et-Senans（1975年7月））
[12] Dershowitz，N.（The Evolution of Programs（1983），Birkhäuser:Birkháuser马萨诸塞州波士顿）·Zbl 0642.68002号
[13] Follett，R.，《将程序综合与程序分析相结合》，（《程序建设国际研讨会论文集》，《程序建设问题国际研讨会论文集中》，法国博纳斯（1980年9月））
[14] Gerhart，S.，《程序知识：模型与案例研究》（Proceedings International Conference on Reliable Software），《可靠软件国际会议论文集》，加利福尼亚州洛杉矶（1975年4月），88-94
[15] Gerhart，S。；Yelowitz，L.，回溯编程技术的控制结构抽象，IEEE Trans。软件工程，2，4，285-292（1976）
[16] Green，C.C.，《定理证明在问题解决中的应用》，（《第一届人工智能国际联合会议论文集》，华盛顿特区，1969年）
[17] 绿色，C.C。；巴斯托，D.R.，《程序综合知识》，《人工智能》，第10期，第241-279页（1978年）
[18] 绿色，C.C。；Luckham，D。；巴尔泽，R。；Cheatham，T。；Rich，C.，《关于知识型软件助理的报告》（技术报告RADC-TR 83-195（1983），格里菲斯空军基地罗马空军开发中心：纽约格里菲斯陆军基地罗马空军发展中心）
[19] Laaser，W.T.，递归程序的综合，（博士论文（1979），斯坦福大学：斯坦福大学，加利福尼亚州斯坦福）
[20] Manna，Z。；Waldinger，R.J.，《合成：梦想》⇒ 程序，IEEE Trans。软件工程，5，4，294-328（1979）·Zbl 0416.68013号
[21] Manna，Z。；Waldinger，R.J.，《程序综合的演绎方法》，ACM TOPLAS，2，1，90-121（1980）·Zbl 0468.68009号
[22] Minty，G。；Tyugu，E.，《程序结构综合的合理性》，科学。计算。编程，2，3225-240（1982）·Zbl 0514.68019号
[23] Parnas，D.L.，《关于将系统分解为模块时使用的标准》，美国陆军司令部，15，12，220-225（1972）
[24] Smith，D.R.，《派生的先决条件及其在程序合成中的应用》，（Loveland，D.W.，《第六届自动演绎会议》，《第6届自动演绎大会》，《计算机科学讲稿》，138（1982），Springer-Verlag:Springer-Verlag New York），172-193·Zbl 0481.68083号
[25] Smith，D.R.，简单分治算法的自顶向下综合，（技术报告NPS 52-82-11（1982），海军研究生院计算机科学系：加利福尼亚州蒙特利海军研究生学院计算机科学系）·Zbl 0573.68053号
[26] Smith，D.R.，《分而治之算法的结构》（技术报告NPS52-83-002（1983），海军研究生院：加利福尼亚州蒙特利海军研究生学院）·Zbl 0554.68021号
[27] Smith，D.R.，案例推理和条件程序的形成，（Tech.Rept.KES.U.85.4（1985），Kestrel Institute：Kestrel Institute Palo Alto，CA）
[28] 斯瓦图特，W。；Balzer，R.，《关于规范和实现不可避免的交织》，美国通信协会，25438-440（1982）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。