%0 Conference Paper %1 conf/cp/DenmatGD07 %A Denmat, Tristan %A Gotlieb, Arnaud %A Ducassé, Mireille %B CP %D 2007 %E Bessiere, Christian %I Springer %K dblp %P 241-255 %T An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming. %U http://dblp.uni-trier.de/db/conf/cp/cp2007.html#DenmatGD07 %V 4741 %@ 978-3-540-74969-1

@inproceedings{conf/cp/DenmatGD07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Denmat, Tristan and Gotlieb, Arnaud and Ducassé, Mireille}, biburl = {https://www.bibsonomy.org/bibtex/24a304b79e4e9928c6e24bf09bf2e31b8/dblp}, booktitle = {CP}, crossref = {conf/cp/2007}, editor = {Bessiere, Christian}, ee = {https://doi.org/10.1007/978-3-540-74970-7_19}, interhash = {8eaeb48456e2c822a525cb772158bf59}, intrahash = {4a304b79e4e9928c6e24bf09bf2e31b8}, isbn = {978-3-540-74969-1}, keywords = {dblp}, pages = {241-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:19:44.000+0200}, title = {An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2007.html#DenmatGD07}, volume = 4741, year = 2007 }