%0 Conference Paper %1 conf/popl/HarrisSIG10 %A Harris, William R. %A Sankaranarayanan, Sriram %A Ivancic, Franjo %A Gupta, Aarti %B POPL %D 2010 %E Hermenegildo, Manuel V. %E Palsberg, Jens %I ACM %K dblp %P 71-82 %T Program analysis via satisfiability modulo path programs. %U http://dblp.uni-trier.de/db/conf/popl/popl2010.html#HarrisSIG10 %@ 978-1-60558-479-9

@inproceedings{conf/popl/HarrisSIG10, added-at = {2023-09-30T00:00:00.000+0200}, author = {Harris, William R. and Sankaranarayanan, Sriram and Ivancic, Franjo and Gupta, Aarti}, biburl = {https://www.bibsonomy.org/bibtex/2788dc5b8a5f9e831b7dcc1b3496deac2/dblp}, booktitle = {POPL}, crossref = {conf/popl/2010}, editor = {Hermenegildo, Manuel V. and Palsberg, Jens}, ee = {https://doi.org/10.1145/1707801.1706309}, interhash = {d1ab2ae45bcaf09a21df1eacd223c6ae}, intrahash = {788dc5b8a5f9e831b7dcc1b3496deac2}, isbn = {978-1-60558-479-9}, keywords = {dblp}, pages = {71-82}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {Program analysis via satisfiability modulo path programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2010.html#HarrisSIG10}, year = 2010 }