An abstract interpretation based combinator for modeling while loops in constraint programming (2007)

by T Denmat, A Gotlieb, M Ducasse
Venue:In Proceedings of Principles and Practices of Constraint Programming (CP’07), Springer Verlag, LNCS 4741