A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS

被引：0

|

作者：

GILLUEZAS, A

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 380卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：197 / 208

页数：12

相关论文

共 50 条

[41] ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS
HAREL, D
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 175 - 192
[42] Termination of nondeterministic quantum programs
Yangjia Li
Nengkun Yu
Mingsheng Ying
Acta Informatica, 2014, 51 : 1 - 24
[43] IMPROVING CONTROL OF LOGIC PROGRAMS BY USING FUNCTIONAL LOGIC LANGUAGES
HANUS, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 631 : 1 - 23
[44] THE CORRECTNESS OF NONDETERMINISTIC PROGRAMS REVISITED
HOLENDERSKI, L
INFORMATION PROCESSING LETTERS, 1986, 23 (06) : 299 - 303
[45] 2 MOST NONDETERMINISTIC PROGRAMS
WILTINK, JG
SCIENCE OF COMPUTER PROGRAMMING, 1986, 6 (01) : 89 - 94
[46] Interpretation of probabilistic algorithmic logic in nondeterministic algorithmic logic
Makarec, Agnieszka
6th International Conference on Computer Information Systems and Industrial Management Applications, Proceedings, 2007, : 81 - 86
[47] ANALYZING COMPUTER-NETWORKS WITH NONDETERMINISTIC PARAMETERS USING NONDETERMINISTIC LOGIC
LEVIN, VI
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1991, (05): : 19 - 26
[48] Specialization of inductively sequential functional logic programs
Alpuente, M
Hanus, M
Lucas, S
Vidal, G
ACM SIGPLAN NOTICES, 1999, 34 (09) : 273 - 283
[49] Partial evaluation of lazy functional logic programs
Iranzo, PJ
AI COMMUNICATIONS, 2003, 16 (02) : 121 - 123
[50] Specialization of inductively sequential functional logic programs
Alpuente, María
Hanus, Michael
Lucas, Salvador
Vidal, Germán
SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1999, 34 (09): : 273 - 282

← 1 2 3 4 5 →