SYSTEM WHICH AUTOMATICALLY IMPROVES PROGRAMS

被引：57

作者：

DARLINGTON, J ^{[1
]}

BURSTALL, RM ^{[1
]}

机构：

[1] UNIV EDINBURGH,DEPT ARTIFICIAL INTELLIG,EDINBURGH EH8 9NW,SCOTLAND

来源：

关键词：

D O I：

10.1007/BF00263742

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：41 / 60

页数：20

共 17 条

[1]

AMBLER AP, 1971, LIB POLYSETS POP2 PR

[2] PROVING THEOREMS ABOUT LISP FUNCTIONS [J].

BOYER, RS ;

MOORE, JS .

[3]

BURSTALL RM, 1971, PROGRAMMING POP2

[4]

BURSTALL RM, 1975, 1975 P INT C REL SOF, P465

[5] EQUIVALENCE OF CERTAIN COMPUTATIONS [J].

COOPER, DC .

[6]

Darlington J., 1975, Proving and Improving Programs, P133

[7]

DARLINGTON J, 1972, THESIS U EDINBURGH

[8]

DIJKSTRA EW, 1970, TH70WSK03 REP

[9]

GARLAND SJ, 1971, UCLAENG7154 U CAL SC

[10]

HOPGOOD F, 1969, COMPILING TECHNIQUES