EXERCISE IN PROVING PARALLEL PROGRAMS CORRECT

被引：45

作者：

GRIES, D ^{[1
]}

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14850

来源：

关键词：

D O I：

10.1145/359897.359903

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：921 / 930

页数：10

共 7 条

[1]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI 10.1145/390016.808417

[2]

DIJKSTRA EW, 1976, LECTURE NOTES COMPUT

[3]

Hoare C. A. R., 1973, Acta Informatica, V2, P335, DOI 10.1007/BF00289504

[4] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[5]

OWICKI SS, 1975, TR75251 CORN U DEP C

[6] MULTIPROCESSING COMPACTIFYING GARBAGE COLLECTION [J].

STEELE, GL .

[7]

STENNING V, UNPUBLISHED NOTES