Sciweavers

6 search results - page 2 / 2
» Declarative Debugging of Missing Answers in Constraint Funct...
Sort
View
ICLP
2007
Springer
13 years 8 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...