DMCA

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

by Tristan Denmat , Arnaud Gotlieb , Mireille Ducassé
Venue:In Proceedings of Principles and Practices of Constraint Programming (CP’07), Springer Verlag, LNCS 4741
Citations:11 - 6 self