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 条

[41] A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs
Dimovski, Aleksandar
INTEGRATED FORMAL METHODS, 2010, 6396 : 121 - 135
[42] Termination and Universal Termination Problems for Nondeterministic Quantum Programs
Xu, Ming
Fu, Jianling
Jiang, Hui
Deng, Yuxin
Li, Zhi-bin
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (08)
[43] Efficient Conversion of Boolean Circuits to Nondeterministic Branching Programs
Ben Asher, Yosi
Tartakovsky, Vladislav
2019 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2019, : 655 - 662
[44] A SEMANTICS FOR A CLASS OF NONDETERMINISTIC AND CAUSAL PRODUCTION SYSTEM PROGRAMS
RASCHID, L
LOBO, J
JOURNAL OF AUTOMATED REASONING, 1994, 12 (03) : 305 - 349
[45] REFINEMENT CALCULUS .1. SEQUENTIAL NONDETERMINISTIC PROGRAMS
BACK, RJR
VONWRIGHT, J
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 430 : 42 - 66
[46] Reachability games and game semantics: comparing nondeterministic programs
Murawski, Andrzej S.
TWENTY-THIRD ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2008, : 353 - 363
[47] Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
Carbin, Michael
Kim, Deokhwan
Misailovic, Sasa
Rinard, Martin C.
ACM SIGPLAN NOTICES, 2012, 47 (06) : 169 - 180
[48] HOARE LOGIC FOR NONDETERMINISTIC REGULAR PROGRAMS - A NONSTANDARD APPROACH
HORTALAGONZALEZ, MT
RODRIGUEZARTALEJO, M
THEORETICAL COMPUTER SCIENCE, 1989, 68 (03) : 277 - 302
[49] PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGIC
BACK, RJR
ACTA INFORMATICA, 1981, 15 (03) : 233 - 249
[50] WHILE-PROGRAMS WITH NONDETERMINISTIC ASSIGNMENTS AND THE LOGIC ALNA
MASCARI, G
ZILLI, MV
THEORETICAL COMPUTER SCIENCE, 1985, 40 (2-3) : 211 - 235

← 1 2 3 4 5 →