Concurrent constraint programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structural operational semantics for AKL
Future Generation Computer Systems - Special issue: PARLE 91
Concurrent constraint programming
Concurrent constraint programming
The cardinality operator: a new logical connective for constraint logic programming
Constraint logic programming
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
PLILPS '95 Proceedings of the 7th International Symposium on Programming Languages: Implementations, Logics and Programs
Selected Papers from Constraint Programming: Basics and Trends
Implementing logical connectives in constraint programming
Artificial Intelligence
Half reification and flattening
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Domain consistency with forbidden values
Constraints
| Hi-index | 0.00 |
Constraint combination methods are essential for a flexible constraint programming system. This paper presents deep concurrent constraint combinators based on computation spaces as combination mechanism. It introduces primitives and techniques needed to program constraint combinators from computation spaces. The paper applies computation spaces to a broad range of combinators: negation, generalized reification, disjunction, and implication. Even though computation spaces have been conceived in the context of Oz, they are mainly programming language independent. This point is stressed by discussing them here in the context of Standard ML with concurrency features.