7 citations · 10 across the 3 of their papers we have counts for
3 papers
Observational semantics of the Prolog Resolution Box Model
Pierre Deransart, Mireille Ducassé, Gérard Ferrand
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of…
Towards declarative diagnosis of constraint programs over finite domains
Gerard Ferrand, Willy Lesaint, Alexandre Tessier
The paper proposes a theoretical approach of the debugging of constraint programs based on a notion of explanation tree. The proposed approach is an attempt to adapt algorithmic de…
Value Withdrawal Explanation in CSP
Gerard Ferrand, Willy Lesaint, Alexandre Tessier
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, co…