4426 search results - page 35 / 886 » Concurrent Constraint Programming |
138
click to vote
BIRTHDAY
2000
Springer
15 years 6 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...
104
Voted
CSMR
1998
IEEE
15 years 6 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,...
112
Voted
CSCLP
2006
Springer
15 years 6 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...
101
click to vote
VMCAI
2010
Springer
15 years 11 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...
95
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM