Comparative metric semantics for commit in or-parallel logic programming

被引：0

作者：

Todoran, E

denHartog, J

deVink, E

机构：

来源：

LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM | 1997年

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

For the control flow kernel of or-parallel Prolog with commit al operational and a denotational model are constructed and related using techniques from metric semantics. By maintaining explicit scope information a compositional handling of the commit for the denotational model is established. By application of an abstraction function, which deletes this extra information, the operational semantics is recovered.

引用

页码：101 / 115

页数：15

共 50 条

[1] PERFORMANCE OF AN OR-PARALLEL LOGIC PROGRAMMING SYSTEM
TINKER, PA
[J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1988, 17 (01) : 59 - 92
[2] Overview of the PloSys OR-parallel logic programming system
Morel, E
Briat, J
deKergommeaux, JC
[J]. 1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 165 - 172
[3] VIRTUAL MEMORY SUPPORT FOR OR-PARALLEL LOGIC PROGRAMMING SYSTEMS
VERON, A
XU, JY
DELGADORANNAURO, SA
SCHUERMAN, K
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 506 : 421 - 438
[4] A DISTRIBUTED FAIR POLLING SCHEME APPLIED TO OR-PARALLEL LOGIC PROGRAMMING
ZHENG, L
[J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1992, 20 (04) : 315 - 339
[5] Visualization of and/or-parallel execution of logic programs
Vaupel, R
Pontelli, E
Gupta, G
[J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1997, : 271 - 285
[6] A COMPARATIVE-STUDY OF UNIFICATION ALGORITHMS FOR OR-PARALLEL EXECUTION OF LOGIC LANGUAGES
CRAMMOND, J
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1985, 34 (10) : 911 - 917
[7] COMPARATIVE SEMANTICS FOR FLOW OF CONTROL IN LOGIC PROGRAMMING WITHOUT LOGIC
DEBAKKER, JW
[J]. INFORMATION AND COMPUTATION, 1991, 94 (02) : 123 - 179
[8] Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Komendantskaya, Ekaterina
McCusker, Guy
Power, John
[J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 111 - +
[9] Performance evaluation of or-parallel logic programming systems on distributed shared-memory architectures
Calegario, VM
Dutra, ID
[J]. EURO-PAR'99: PARALLEL PROCESSING, 1999, 1685 : 1484 - 1491
[10] Speculative computations in or-parallel tabled logic programs
Rocha, R
Silva, F
Costa, VS
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 254 - 268

← 1 2 3 4 5 →