4426 search results - page 35 / 886 » Concurrent Constraint Programming |
150
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The -calculus o ers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide range of high-level constru...
114
click to vote
CSMR
1998
IEEE
15 years 8 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
121
Voted
CSCLP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Constraint Handling Rules (CHR) is a concurrent, committed-choice, rule-based language. One of the first CHR programs is the classic constraint solver for syntactic equal...
114
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...