CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS

被引：4

|

作者：

GOGUEN, JA

MESEGUER, J

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1983年 / 27卷 / 02期

关键词：

D O I：

10.1016/0022-0000(83)90043-0

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：268 / 290

页数：23

相关论文

共 50 条

[31] IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 133 - 144
[32] FORMALIZATION OF CORRECTNESS OF RECURSIVE DEFINITIONS
CHEN, TY
[J]. INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1980, 9 (01): : 55 - 61
[33] FORMALIZATION OF PROPERTIES OF NONDETERMINISTIC RECURSIVE DEFINITIONS
CHEN, TY
[J]. INFORMATION SCIENCES, 1980, 22 (03) : 235 - 243
[34] HOMOMORPHISMS, CORRECTNESS, TERMINATION, UNFOLDMENTS, AND EQUIVALENCE OF FLOW DIAGRAM PROGRAMS
GOGUEN, JA
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (03) : 333 - 365
[35] PROGRAMS AS PARTIAL GRAPHS .1. FLOW EQUIVALENCE AND CORRECTNESS
SCHMIDT, G
[J]. THEORETICAL COMPUTER SCIENCE, 1981, 15 (01) : 1 - 25
[36] NDetermin: Inferring nondeterministic sequential specifications for parallelism correctness
Burnim, Jacob
Elmas, Tayfun
Necula, George
Sen, Koushik
[J]. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, 2012, : 329 - 330
[37] NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness
Burnim, Jacob
Elmas, Tayfun
Necula, George
Sen, Koushik
[J]. ACM SIGPLAN NOTICES, 2012, 47 (08) : 329 - 330
[38] Compilation analysis of parallel occam programs. Enforcing determinacy and communication correctness
Kermarrec, Y.
Villa, R. Sancho
[J]. Proceedings of the Conference of the North American Transputer Users Group - NATUG, 1992, 24
[39] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
[40] On the Correctness of GPU Programs
Peng, Chao
[J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 443 - 447

← 1 2 3 4 5 →