Compiling OR-parallelism into AND-parallelism
New Generation Computing
Nondeterminism with referential transparency in functional programming languages
The Computer Journal
Communicating sequential processes
Communications of the ACM
Logic for Problem Solving
The concurrent object-oriented language braid
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Logic Channels: A Coordination Approach to Distributed Programming
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
A tuple channel-based coordination model for parallel and distributed programming
Journal of Parallel and Distributed Computing
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
| Hi-index | 0.00 |
The authors survey concurrent logic languages, which expand Prolog by dropping its built-in sequential search order. These languages make parallelism easy by avoiding the low-level constructs that result from a too-direct translation of machine hardware into programmer驴s language.