KNOWLEDGE AND REASONING IN PROGRAM SYNTHESIS

被引：34

作者：

MANNA, Z

WALDINGER, R

机构：

[1] WEIZMANN INST SCI,APPL MATH DEPT,REHOVOT,ISRAEL

[2] STANFORD RES INST,ARTIFICIAL INTELLIG CTR,MENLO PK,CA

来源：

关键词：

D O I：

10.1016/0004-3702(75)90008-9

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：175 / 208

页数：34

共 27 条

[11]

GREEN CC, 1974, PROGR REPORT PROGRAM

[12]

HARDY S, 1974, JUN ART INT SIM BEH, P50

[13] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[14]

HOARE CAR, 1969, COMMUN ACM, V12, P583

[15]

Kowalski, 1974, 75 U ED DEP COMP LOG

[16]

LUCKHAM D, 1974, AUTOMATIC GENERATION

[17] TOWARD AUTOMATIC PROGRAM SYNTHESIS [J].

MANNA, Z ;

WALDINGER, RJ .

[18]

Manna Z., 1974, MATH THEORY COMPUTAT

[19]

McCarthy J., 1962, P INFORMATION PROCES, V62, P21

[20]

REBOH R, 1973, 81 STANF RES I ART I