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 条

[1] Infinite unfolding and transformations of nondeterministic programs
Lisper, B
FUNDAMENTA INFORMATICAE, 2005, 66 (04) : 415 - 439
[2] Transformations of logic programs on infinite lists
Pettorossi, Alberto
Senni, Valerio
Proietti, Maurizio
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2010, 10 : 383 - 399
[3] ON NONDETERMINISTIC PROGRAMS
LANDWEHR, CE
COMMUNICATIONS OF THE ACM, 1982, 25 (04) : 292 - 292
[4] IMPLEMENTATIONS OF NONDETERMINISTIC PROGRAMS
GUERREIRO, P
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 167 : 133 - 144
[5] CORRECTNESS OF NONDETERMINISTIC PROGRAMS
MANNA, Z
ARTIFICIAL INTELLIGENCE, 1970, 1 (1-2) : 1 - 26
[6] State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequences
Lin, Che-Sheng
Hwang, Gwan-Hwan
SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (09) : 1294 - 1323
[7] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
[8] Termination of nondeterministic quantum programs
Li, Yangjia
Yu, Nengkun
Ying, Mingsheng
ACTA INFORMATICA, 2014, 51 (01) : 1 - 24
[9] Termination of Nondeterministic Probabilistic Programs
Fu, Hongfei
Chatterjee, Krishnendu
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 468 - 490
[10] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192

← 1 2 3 4 5 →