PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS

被引：64

作者：

ASHCROFT, EA ^{[1
]}

机构：

[1] UNIV WATERLOO,DEPT COMP SCI,WATERLOO,ONTARIO,CANADA

来源：

关键词：

D O I：

10.1016/S0022-0000(75)80018-3

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：110 / 135

页数：26

共 7 条

[1]

ASHCROFT EA, 1971, FORMALIZATION PROPER, V6, P17

[2]

FLOYD RW, 1967, P S APPLIED MATHEMAT, V19

[3]

HANSEN PB, 1972, ACTA INFORM, V1, P190

[4]

Karp R.M., 1969, J COMPUT SYST SCI, V3, P147

[5]

LEVITT KN, 1972, FALL P AFIPS JOINT C, P33

[6] FORMALIZATION OF PROPERTIES OF FUNCTIONAL PROGRAMS [J].

MANNA, Z ;

PNUELI, A .

[7]

Manna Z, 1969, J COMPUT SYST SCI, V3, P119, DOI [10.1016/S0022-0000(69)80009-7, DOI 10.1016/S0022-0000(69)80009-7]