21 citations · 37 across the 9 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 2 cited
(Co-)Inductive semantics for Constraint Handling Rules
Rémy Haemmerlé
In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules i…
cs.PL2011★ 6 cited
Observational equivalences for linear logic CC languages
Rémy Haemmerlé
Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC) where the constraint system is based on Girard's linear logic instead…