PARAMETER PASSING IN NONDETERMINISTIC RECURSIVE PROGRAMS

被引：7

|

作者：

BENSON, DB

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1979年 / 19卷 / 01期

关键词：

D O I：

10.1016/0022-0000(79)90013-8

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：50 / 62

页数：13

相关论文

共 50 条

[1] A testing strategy for nondeterministic message passing programs
Kranzlmüller, D
Schaubschläger, C
Volkert, J
HIGH PERFORMANCE COMPUTING SYSTEMS AND APPLICATIONS, 2000, 541 : 49 - 63
[2] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[3] Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq
Chappe N.
He P.
Henrio L.
Zakowski Y.
Zdancewic S.
Proceedings of the ACM on Programming Languages, 2023, 7 : 1770 - 1800
[4] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .1.
GALLIER, JH
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 193 - 223
[5] NONDETERMINISTIC FLOWCHART PROGRAMS WITH RECURSIVE PROCEDURES - SEMANTICS AND CORRECTNESS .2.
GALLIER, JH
THEORETICAL COMPUTER SCIENCE, 1981, 13 (03) : 239 - 270
[6] ON NONDETERMINISTIC PROGRAMS
LANDWEHR, CE
COMMUNICATIONS OF THE ACM, 1982, 25 (04) : 292 - 292
[7] ON THE FIXPOINTS OF NONDETERMINISTIC RECURSIVE DEFINITIONS
CHEN, TY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1984, 29 (01) : 58 - 79
[8] Verifying concurrent message-passing C programs with recursive calls
Chaki, S
Clarke, E
Kidd, N
Reps, T
Touili, T
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 334 - 349
[9] IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 133 - 144
[10] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26

← 1 2 3 4 5 →