226 search results - page 6 / 46 » Concurrent and Reactive Constraint Programming |
132
Voted
PPDP
2009
Springer
16 years 10 days ago
2009
Springer
137
Voted
POPL
1999
ACM
15 years 10 months ago
1999
ACM
202
Voted
ESOP
1999
Springer
15 years 10 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...
145
Voted
ICLP
2005
Springer
15 years 11 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...
388
click to vote
ICSE
2012
IEEE-ACM
13 years 8 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...