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

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass

Browse the full CP paper archive.