Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
Evaluation of the lock mechanism in a snooping cache
ICS '92 Proceedings of the 6th international conference on Supercomputing
Communications of the ACM
A computational model for trial reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Parameter passing and control stack management in Prolog implementation revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
Improvement of message communication in concurrent logic language
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
StackThreads/MP: integrating futures into calling standards
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Search in concurrent logic languages
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Kima: An Automated Error Correction System for Concurrent Logic Programs
Automated Software Engineering
Real number computation through gray code embedding
Theoretical Computer Science
Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
IEEE Transactions on Parallel and Distributed Systems
Resource-Passing Concurrent Programming
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Orgel: A Parallel Programming Language with Declarative Communication Streams
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
Implementing Declarative Concurrency in Java
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
A Program Dependence Model for Concurrent Logic Programs and Its Applications
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Non-strict execution in parallel and distributed computing
International Journal of Parallel Programming
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Rapid P2P overlay network programming on a distributed reduction machine
CCNC'09 Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
DRL: A distributed real-time logic language
Computer Languages
Hi-index | 0.03 |