TOP-DOWN SYNTHESIS OF DIVIDE-AND-CONQUER ALGORITHMS

被引：50

作者：

SMITH, DR

机构：

[1] Kestrel Inst, Palo Alto, CA, USA, Kestrel Inst, Palo Alto, CA, USA

来源：

ARTIFICIAL INTELLIGENCE | 1985年 / 27卷 / 01期

关键词：

I would like to thank an anonymous referee for numerous constructive comments. This research was supported in part by the Foundation Research Program of the Naval Postgraduate School with funds provided by the Chief of Naval Research and in part by the Office of Naval Research under Contract N00014-84-C-0473;

D O I：

10.1016/0004-3702(85)90083-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

28

引用

收藏

页码：43 / 96

页数：54

相关论文

共 28 条

[1]

Aho A.V., 1983, DATA STRUCTURES ALGO

[2] TRANSFORMATIONAL IMPLEMENTATION - AN EXAMPLE [J].

BALZER, R .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) :3-14

[3]

BARSTOW D, 1979, KNOWLEDGE BASED PROG

[4]

BARSTOW DR, 1979, 6TH P INT JOINT C AR, P37

[5] SYNTAX-DIRECTED, SEMANTICS-SUPPORTED PROGRAM SYNTHESIS [J].

BIBEL, W .

ARTIFICIAL INTELLIGENCE, 1980, 14 (03) :243-261

[6] NON-RESOLUTION THEOREM PROVING [J].

BLEDSOE, WW .

ARTIFICIAL INTELLIGENCE, 1977, 9 (01) :1-35

[7] PROGRAM-DEVELOPMENT AS A FORMAL ACTIVITY [J].

BROY, M ;

PEPPER, P .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1981, 7 (01) :14-22

[8] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

JOURNAL OF THE ACM, 1977, 24 (01) :44-67

[9] ALGORITHM CLASSIFICATION THROUGH SYNTHESIS [J].

CLARK, KL ;

DARLINGTON, J .

COMPUTER JOURNAL, 1980, 23 (01) :61-65

[10]

DARLINGTON J, 1978, ACTA INFORM, V11, P1, DOI 10.1007/BF00264597