Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Algorithmic debugging with assertions
Meta-programming in logic programming
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
APPLAUSE: applications using the ElipSys parallel CLP system
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Analyzing logic programs with dynamic scheduling
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Independence in constraint logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global Analysis of Standard Prolog Programs
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Towards a Concurrent Semantics based Analysis of CC and CLP
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Efficient Analysis of Concurrent Constraint Logic Programs
ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Towards Independent And-Parallelism in CLP
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics
ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
SICStus Prolog Library Manual
Hi-index | 0.00 |