Infinite unfolding and transformations of nondeterministic programs

被引：0

|

作者：

机构：

[1] Lisper, Bjórn

来源：

Lisper, B. | 2005年 / IOS Press卷 / 66期

关键词：

Logic programs - Nondeterministic programs - Recursive programs;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Good enough testing of nondeterministic parallel programs
Kranzlmüller, D
Messner, J
Schaubschläger, C
INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, PROCEEDINGS, 1999, : 641 - 645
[32] 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
[33] MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.
Abrahamson, Karl
Instrument Maintenance Management, 1979, 70 : 21 - 33
[34] LOWER BOUNDS FOR DETERMINISTIC AND NONDETERMINISTIC BRANCHING PROGRAMS
RAZBOROV, AA
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 529 : 47 - 60
[35] RELATIONAL ALGEBRAIC SEMANTICS OF DETERMINISTIC AND NONDETERMINISTIC PROGRAMS
BERGHAMMER, R
ZIERER, H
THEORETICAL COMPUTER SCIENCE, 1986, 43 (2-3) : 123 - 147
[36] IDENTICAL TRANSFORMATIONS IN ALGEBRAS OF NONDETERMINISTIC ALGORITHMS .2.
YUSHCHENKO, YA
CYBERNETICS, 1986, 22 (06): : 720 - 727
[37] IDENTICAL TRANSFORMATIONS IN ALGEBRAS OF NONDETERMINISTIC ALGORITHMS .1.
YUSHCHENKO, YA
CYBERNETICS, 1985, 21 (06): : 726 - 735
[38] UNFOLDING RULES FOR GHC PROGRAMS
FURUKAWA, K
OKUMURA, A
MURAKAMI, M
NEW GENERATION COMPUTING, 1988, 6 (2-3) : 143 - 157
[39] TRANSFORMATIONS OF PROGRAMS
BIRD, R
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (01) : 22 - 35
[40] ON INFINITE NIELSEN TRANSFORMATIONS
MACEDONSKANOSALSKA, O
MATHEMATICA SCANDINAVICA, 1982, 51 (01) : 63 - 86

← 1 2 3 4 5 →