6 citations · 13 across the 10 of their papers we have counts for
5 papers · 1 filter
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo +1
We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded per…
Unfolding for CHR programs
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella +1
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption, and more generally to optimize a given program. Essentially, it con…
Unfolding in CHR
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it consi…
A compositional Semantics for CHR
Maurizio Gabbrielli, Maria Chiara Meo
Constraint Handling Rules (CHR) are a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multi-headed guarded r…
Transformations of CCP programs
Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo
We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input…