TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS

被引：549

作者：

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
BOYER, RS
MOORE, JS
[J]. JOURNAL OF THE ACM, 1975, 22 (01) : 129 - 144
[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]
FLOYD, RW
[J]. COMMUNICATIONS OF THE ACM, 1964, 7 (12) : 701 - 701
[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