%0 Conference Paper %1 conf/popl/GulwaniN03 %A Gulwani, Sumit %A Necula, George C. %B POPL %D 2003 %E Aiken, Alex %E Morrisett, Greg %I ACM %K dblp %P 74-84 %T Discovering affine equalities using random interpretation. %U http://dblp.uni-trier.de/db/conf/popl/popl2003.html#GulwaniN03 %@ 1-58113-628-5

@inproceedings{conf/popl/GulwaniN03, added-at = {2021-06-25T00:00:00.000+0200}, author = {Gulwani, Sumit and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/25cc951cc3d2c34b6ea8276e947ccd901/dblp}, booktitle = {POPL}, crossref = {conf/popl/2003}, editor = {Aiken, Alex and Morrisett, Greg}, ee = {https://doi.org/10.1145/640128.604138}, interhash = {ab70a63b7dc51145637ac945acdede65}, intrahash = {5cc951cc3d2c34b6ea8276e947ccd901}, isbn = {1-58113-628-5}, keywords = {dblp}, note = {ACM SIGPLAN Notices 38(1), January 2003}, pages = {74-84}, publisher = {ACM}, timestamp = {2024-04-09T13:30:28.000+0200}, title = {Discovering affine equalities using random interpretation.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2003.html#GulwaniN03}, year = 2003 }