226 search results - page 6 / 46 » Concurrent and Reactive Constraint Programming |
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
POPL
1999
ACM
15 years 1 months ago
1999
ACM
105
click to vote
ESOP
1999
Springer
15 years 1 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
170
Voted
ICSE
2012
IEEE-ACM
12 years 12 months ago
2012
IEEE-ACM
Abstract—Atomicity, a general correctness criterion in concurrency programs, is often violated in real-world applications. The violations are difficult for developers to fix, m...