176 search results - page 8 / 36 » Truly concurrent constraint programming |
CORR
2002
Springer
13 years 9 months ago
2002
Springer
PLILP
1994
Springer
14 years 1 months ago
1994
Springer
SAC
2008
ACM
13 years 9 months ago
2008
ACM
PLILP
1994
Springer
14 years 1 months ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
13 years 12 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...