The “Hamming problem” in Prolog
ACM SIGPLAN Notices
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Sharing the load of logic-program evaluation
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Generators and the replicator control structure in the parallel environment of ALLOY
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LO and behold! Concurrent structured processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A Lingua Franca for Concurrent Logic Programming
IEEE Transactions on Software Engineering
A sequential abstract machine for a distributed logic language
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Unification based FP interpreters
ACM SIGPLAN Notices
A compiler approach to scalable concurrent-program design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compositional parallel programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
The design, implementation, and evaluation of Jade
ACM Transactions on Programming Languages and Systems (TOPLAS)
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Incremental querying in the concurrent CLP language IFD-Constraint Pandora
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Continuations for parallel logic programming
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Efficient Parallel Execution of Irregular Recursive Programs
IEEE Transactions on Parallel and Distributed Systems
Machine Independent AND and OR Parallel Execution of Logic Programs: Part II-Compiled Execution
IEEE Transactions on Parallel and Distributed Systems
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Implementing Declarative Concurrency in Java
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
A PARLOG implementation of Government-Binding Theory
COLING '90 Proceedings of the 13th conference on Computational linguistics - Volume 3
P#: a concurrent prolog for the .NET framework
Software—Practice & Experience
An architecture for visualizing the execution of parallel logic programs
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Resource-oriented deadlock analysis
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Computer Languages
Hi-index | 0.00 |