@inproceedings{conf/pldi/GulwaniSV08,
title = {Program analysis as constraint solving.},
author = {Sumit Gulwani and Saurabh Srivastava and Ramarathnam Venkatesan},
booktitle = {PLDI},
crossref = {conf/pldi/2008},
editor = {Rajiv Gupta and Saman P. Amarasinghe},
pages = {281-292},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2008.html#GulwaniSV08},
year = {2008},
description = {dblp},
date = {2008-06-16}, ee = {http://doi.acm.org/10.1145/1375581.1375616}, isbn = {978-1-59593-860-2},
keywords = {dblp }
}
::