PROOF OF ALGORITHNS - A NEW KIND OF CERTIFICATION

被引：12

作者：

LONDON, RL

机构：

来源：

关键词：

D O I：

10.1145/362384.362507

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：371 / &

共 7 条

[1] CERTIFICATION OF ALGORITHM 245 [M1] TREESORT 3
ABRAMS, PS
[J]. COMMUNICATIONS OF THE ACM, 1965, 8 (07) : 445 - &
[2] Floyd R. W., 1967, P S APPL MATH, V19, P19, DOI DOI 10.1090/PSAPM/019/0235771
[3] ALGORITHM-245 - TREESORT 3 [M1]
FLOYD, RW
[J]. COMMUNICATIONS OF THE ACM, 1964, 7 (12) : 701 - 701
[4] Knuth Donald E, 1968, ART COMPUTER PROGRAM, V1
[5] MCCARTHY J, 1967, P S APPL MATH, V19, P33
[6] McCarthy J, 1963, COMPUTER PROGRAMMING, P33, DOI DOI 10.1016/S0049-237X(08)72018-4
[7] Naur P., 1966, BIT, V6, P310