UNDERSTANDING AND AUTOMATING ALGORITHM DESIGN

被引：33

作者：

KANT, E

机构：

来源：

关键词：

D O I：

10.1109/TSE.1985.231884

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1361 / 1374

页数：14

共 28 条

[1]

ADELSON B, UNPUB NATURE EXPERTI

[2]

BARSTOW DR, 1984, AUTOMATIC PROGRAM CO, P201

[3]

BARSTOW DR, 1984, ARTIFICIAL INTELL MA, V5

[4]

BIBEL W, 1980, SEP P INT WORKSH PRO

[5]

CHANDRASEKARAN B, 1981, COMPUTER PROGRAM TES

[6]

COHEN D, 1984, P AAI 84

[7] VERBAL REPORTS AS DATA [J].

ERICSSON, KA ;

SIMON, HA .

[8] A SYSTEM FOR ASSISTING PROGRAM TRANSFORMATION [J].

FEATHER, MS .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (01) :1-20

[9]

FORGY CL, 1981, CMUCS81135 CARN U TE

[10]

GREEN C, 1983, RADCTR83195 KESTR I