AN EXPERIMENTAL PROGRAM TRANSFORMATION AND SYNTHESIS SYSTEM

被引：44

作者：

DARLINGTON, J

机构：

来源：

关键词：

D O I：

10.1016/0004-3702(81)90014-X

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：1 / 46

页数：46

共 15 条

[1]

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

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

BOYER, RS ;

MOORE, JS .

[3] TRANSFORMATION SYSTEM FOR DEVELOPING RECURSIVE PROGRAMS [J].

BURSTALL, RM ;

DARLINGTON, J .

[4]

BURSTALL RM, 1977, P INFOTECH STATE ART

[5]

BURSTALL RM, 1977, 5TH INT JOINT C ART

[6]

BURSTALL RM, 1971, PROGRAMMING POP 2 ED

[7]

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

[8]

DARLINGTON J, UNPUBLISHED

[9]

DARLINGTON J, 1976, 23 U ED DEP ART INT

[10]

GOGUEN JA, 1977, CURRENT TRENDS PROGR, V3