Sciweavers

CP
2007
Springer

An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming

14 years 5 months ago
An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
Tristan Denmat, Arnaud Gotlieb, Mireille Ducass&ea
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CP
Authors Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé
Comments (0)