ALGORITHM CLASSIFICATION THROUGH SYNTHESIS

被引：21

作者：

CLARK, KL

DARLINGTON, J

机构：

来源：

关键词：

D O I：

10.1093/comjnl/23.1.61

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：61 / 65

页数：5

共 13 条

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

BURSTALL, RM ;

DARLINGTON, J .

[2]

BURSTALL RM, 1977, P INFOTECH STATE ART

[3]

CLARK KL, 1977, IJCAI5

[4]

CLARK KL, 1977, P IFIPS C TORONTO

[5]

CLARK KL, 1977, SYNTHESIS VERIFICATI

[6]

DARLINGTON J, 1978, ACTA INFORM, V11, P1, DOI 10.1007/BF00264597

[7]

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

[8]

Dijkstra E., 1976, DISCIPLINE PROGRAMMI

[9]

GREEN C, 1977, PROGRAM SYNTHESIS EF

[10] QUICKSORT [J].

HOARE, CAR .