%0 Conference Paper %1 conf/pldi/GulwaniJK09 %A Gulwani, Sumit %A Jain, Sagar %A Koskinen, Eric %B PLDI %D 2009 %E Hind, Michael %E Diwan, Amer %I ACM %K dblp %P 375-385 %T Control-flow refinement and progress invariants for bound analysis. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2009.html#GulwaniJK09 %@ 978-1-60558-392-1

@inproceedings{conf/pldi/GulwaniJK09, added-at = {2021-06-25T00:00:00.000+0200}, author = {Gulwani, Sumit and Jain, Sagar and Koskinen, Eric}, biburl = {https://www.bibsonomy.org/bibtex/26cd2a1b9e18a20e38f959afde57bdb67/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2009}, editor = {Hind, Michael and Diwan, Amer}, ee = {https://doi.org/10.1145/1543135.1542518}, interhash = {81636dc2a40eaf576a240d6a063670c0}, intrahash = {6cd2a1b9e18a20e38f959afde57bdb67}, isbn = {978-1-60558-392-1}, keywords = {dblp}, pages = {375-385}, publisher = {ACM}, timestamp = {2024-04-09T18:59:33.000+0200}, title = {Control-flow refinement and progress invariants for bound analysis.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2009.html#GulwaniJK09}, year = 2009 }