%0 Conference Paper %1 conf/pldi/BlackshearCS13 %A Blackshear, Sam %A Chang, Bor-Yuh Evan %A Sridharan, Manu %B PLDI %D 2013 %E Boehm, Hans-Juergen %E Flanagan, Cormac %I ACM %K dblp %P 275-286 %T Thresher: precise refutations for heap reachability. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#BlackshearCS13 %@ 978-1-4503-2014-6

@inproceedings{conf/pldi/BlackshearCS13, added-at = {2022-04-09T00:00:00.000+0200}, author = {Blackshear, Sam and Chang, Bor-Yuh Evan and Sridharan, Manu}, biburl = {https://www.bibsonomy.org/bibtex/2845c9e24d9e23d98082e97e153fe568c/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2013}, editor = {Boehm, Hans-Juergen and Flanagan, Cormac}, ee = {https://doi.org/10.1145/2499370.2462186}, interhash = {e4aa766e0e1f3dc7dc348db79e11e8c9}, intrahash = {845c9e24d9e23d98082e97e153fe568c}, isbn = {978-1-4503-2014-6}, keywords = {dblp}, pages = {275-286}, publisher = {ACM}, timestamp = {2024-04-10T06:17:17.000+0200}, title = {Thresher: precise refutations for heap reachability.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2013.html#BlackshearCS13}, year = 2013 }