%0 Conference Paper %1 conf/popl/GulwaniN04 %A Gulwani, Sumit %A Necula, George C. %B POPL %D 2004 %E Jones, Neil D. %E Leroy, Xavier %I ACM %K dblp %P 342-352 %T Global value numbering using random interpretation. %U http://dblp.uni-trier.de/db/conf/popl/popl2004.html#GulwaniN04 %@ 1-58113-729-X

@inproceedings{conf/popl/GulwaniN04, added-at = {2021-06-25T00:00:00.000+0200}, author = {Gulwani, Sumit and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/28410e2784c846a4cbb39580965336c90/dblp}, booktitle = {POPL}, crossref = {conf/popl/2004}, editor = {Jones, Neil D. and Leroy, Xavier}, ee = {https://doi.org/10.1145/982962.964030}, interhash = {b1c38a74a2c54d6848dbeb705968e3bf}, intrahash = {8410e2784c846a4cbb39580965336c90}, isbn = {1-58113-729-X}, keywords = {dblp}, pages = {342-352}, publisher = {ACM}, timestamp = {2024-04-09T13:29:50.000+0200}, title = {Global value numbering using random interpretation.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2004.html#GulwaniN04}, year = 2004 }