%0 Conference Paper %1 conf/popl/GulwaniLS09 %A Gulwani, Sumit %A Lev-Ami, Tal %A Sagiv, Mooly %B POPL %D 2009 %E Shao, Zhong %E Pierce, Benjamin C. %I ACM %K dblp %P 239-251 %T A combination framework for tracking partition sizes. %U http://dblp.uni-trier.de/db/conf/popl/popl2009.html#GulwaniLS09 %@ 978-1-60558-379-2

@inproceedings{conf/popl/GulwaniLS09, added-at = {2021-06-25T00:00:00.000+0200}, author = {Gulwani, Sumit and Lev-Ami, Tal and Sagiv, Mooly}, biburl = {https://www.bibsonomy.org/bibtex/2d667264b2e668bfa95b6a98f435fdbce/dblp}, booktitle = {POPL}, crossref = {conf/popl/2009}, editor = {Shao, Zhong and Pierce, Benjamin C.}, ee = {https://doi.org/10.1145/1594834.1480912}, interhash = {b05e5f733a1dddf63859dbb4b66bea9a}, intrahash = {d667264b2e668bfa95b6a98f435fdbce}, isbn = {978-1-60558-379-2}, keywords = {dblp}, pages = {239-251}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {A combination framework for tracking partition sizes.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2009.html#GulwaniLS09}, year = 2009 }