Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)
No abstract available.
Related papers
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Collections, Cardinalities, and Relations VMCAI 2010
- Default Timed Concurrent Constraint Programming POPL 1995
- Embedding session types in Haskell Haskell 2016
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract) SAS 1995
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints VMCAI 2007
- SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM 2024
- Mode Crossing ICFP 2026