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 条

[21] STRONG SEMANTICAL CHARACTERIZATION FOR NONDETERMINISTIC PROGRAMS
CSIRMAZ, L
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 407 - 416
[22] Complementation constructions for nondeterministic automata on infinite words
Kupferman, O
Vardi, MY
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 206 - 221
[23] Relational semantics for locally nondeterministic programs
Xu, LW
Takeichi, M
Iwasaki, H
NEW GENERATION COMPUTING, 1997, 15 (03) : 339 - 361
[24] MODELS AND TRANSFORMATIONS FOR NONDETERMINISTIC EXTENSIONS OF FUNCTIONAL PROGRAMMING
MYERS, TJ
COHEN, AT
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 181 : 60 - 88
[25] Unfolding for CHR programs
Gabbrielli, Maurizio
Meo, Maria Chiara
Tacchella, Paolo
Wiklicky, Herbert
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 264 - 311
[26] FUNCTIONAL-BEHAVIOR OF NONDETERMINISTIC AND CONCURRENT PROGRAMS
MAIN, MG
BENSON, DB
INFORMATION AND CONTROL, 1984, 62 (2-3): : 144 - 189
[27] Workload Characterization of Nondeterministic Programs Parallelized by STATS
Deiana, Enrico A.
Campanoni, Simone
2019 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2019, : 190 - 201
[28] CORRECTNESS OF RECURSIVE PARALLEL NONDETERMINISTIC FLOW PROGRAMS
GOGUEN, JA
MESEGUER, J
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 268 - 290
[29] A PROCESS LOGIC FOR NONDETERMINISTIC WHILE-PROGRAMS
ZILLI, MV
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 346 - 346
[30] On the hierarchy of nondeterministic branching k-programs
Okol'nishnikova, EA
FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 376 - 387

← 1 2 3 4 5 →