SOME PROPERTIES OF PREDICATE TRANSFORMERS

被引：37

作者：

HOARE, CAR ^{[1
]}

机构：

[1] QUEENS UNIV BELFAST,BELFAST BT7 1NN,ANTRIM,NORTH IRELAND

来源：

关键词：

D O I：

10.1145/322077.322088

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：461 / 480

页数：20

共 14 条

[1]

BURSTALL RM, 1974, IFIP C, P308

[2]

DEBAKKER JW, 1976, 3 INT C AUT LANG PRO, P435

[3]

DEROEVER WP, 1976, MATH F COMPUTER SCI, P472

[4]

Dijkstra E., 1976, DISCIPLINE PROGRAMMI

[5]

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

[6]

DIJKSTRA EW, PROGRAMMING LANGUAGE, P196

[7]

Egli H., 1975, MATH MODEL NONDETERM

[8] NONDETERMINISTIC ALGORITHMS [J].

FLOYD, RW .

[9]

Hoare C. A. R., 1974, Acta Informatica, V3, P135, DOI 10.1007/BF00264034

[10]

LAUER PE, 1971, THESIS QUEENS U