TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS

被引：553

作者：

BURSTALL, RM ^{[1
]}

DARLINGTON, J ^{[1
]}

机构：

[1] UNIV EDINBURGH,DEPT ARTIF INTELLIGENCE,EDINBURGH EH8 9AG,SCOTLAND

来源：

关键词：

D O I：

10.1145/321992.321996

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：44 / 67

页数：24

共 15 条

[1]

Aubin R., 1975, Proving and Improving Programs, P197

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

BOYER, RS ;

MOORE, JS .

[3]

CHEATHAM TE, 1972, P AFIPS SJCC, V40, P11

[4]

COURCELLE B, 1974, 6TH P ANN ACM S THEO, P13

[5]

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

[6]

DARLINGTON J, 1973, 3RD P INT JOINT C AR, P479

[7]

DARLINGTON J, 1972, THESIS U EDINBURGH

[8] ALGORITHM-245 - TREESORT 3 [M1] [J].

FLOYD, RW .

[9]

Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507

[10]

Knuth D. E., 1974, Computing Surveys, V6, P261, DOI 10.1145/356635.356640