Parallel logic programming in PARLOG: the language and its implementation
Parallel logic programming in PARLOG: the language and its implementation
Parlog86 and the dining logicians
Communications of the ACM
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Guarded horn clauses: A parallel logic programming language with the concept of a guard
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Comparative semantics for PROLOG with cut
Science of Computer Programming
Kernel Andorra Prolog and its computation model
Logic programming
Comparative metric semantics for concurrent Prolog
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Structural operational semantics for Kernel Andorra Prolog
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Handbook of theoretical computer science (vol. B)
Comparative semantics for flow of control in logic programming without logic
Information and Computation
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A paradigm for asynchronous communication and its application to concurrent constraint programming
Logic programming languages
Nondeterminism and infinite computations in constraint programming
Selected papers of the workshop on Topology and completion in semantics
Control flow semantics
Comparative metric semantics for commit in or-parallel logic programming
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Proceedings of the 1999 international conference on Logic programming
Communications of the ACM
P-PROLOG: A Parallel Logic Programming Language
P-PROLOG: A Parallel Logic Programming Language
Continuation Semantics for PROLOG with Cut
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
A study of evaluation order semantics in expressions with side effects
Journal of Functional Programming
Continuation-passing enactment of distributed recoverable workflows
Proceedings of the 2007 ACM symposium on Applied computing
| Hi-index | 0.00 |