PROGRAM SYNTHESIS KNOWLEDGE

被引：30

作者：

GREEN, C

BARSTOW, D

机构：

[1] SYST CONTROL INC,PALO ALTO,CA 94306

[2] YALE UNIV,DEPT COMP SCI,NEW HAVEN,CT 06520

来源：

关键词：

D O I：

10.1016/S0004-3702(78)80016-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：241 / 279

页数：39

共 16 条

[1]

Barstow D. R., 1976, 2nd International Conference on Software Engineering, P19

[2]

BARSTOW DR, 1977, AIM308 STANF U COMP

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

BURSTALL, RM ;

DARLINGTON, J .

[4]

DARLINGTON J, 1976, 23 U ED DEP ART INT

[5]

GINSPARG JM, 1978, AIM316 STANF U COMP

[6]

Green C., 1976, 2nd International Conference on Software Engineering, P4

[7]

GREEN C, 1975, 4TH P INT C ART INT, P232

[8]

GREEN C, 1977, 5TH P INT JOINT C AR, P380

[9]

GREEN CC, 1976, MACHINE REPRESENTATI

[10]

KANT E, 1977, SIGART NEWSLETTER, V64, P140