%0 Conference Paper %1 conf/pldi/GulwaniJTV11 %A Gulwani, Sumit %A Jha, Susmit %A Tiwari, Ashish %A Venkatesan, Ramarathnam %B PLDI %D 2011 %E Hall, Mary W. %E Padua, David A. %I ACM %K %P 62-73 %T Synthesis of loop-free programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#GulwaniJTV11 %@ 978-1-4503-0663-8

@inproceedings{conf/pldi/GulwaniJTV11, added-at = {2023-12-12T20:51:10.000+0100}, author = {Gulwani, Sumit and Jha, Susmit and Tiwari, Ashish and Venkatesan, Ramarathnam}, biburl = {https://www.bibsonomy.org/bibtex/23539fb0a71f9047da0e4cf807f012519/admin}, booktitle = {PLDI}, crossref = {conf/pldi/2011}, editor = {Hall, Mary W. and Padua, David A.}, ee = {https://doi.org/10.1145/1993498.1993506}, interhash = {3552dc08bee081d3d3ceb05f054701fb}, intrahash = {3539fb0a71f9047da0e4cf807f012519}, isbn = {978-1-4503-0663-8}, keywords = {}, pages = {62-73}, publisher = {ACM}, timestamp = {2023-12-12T20:51:10.000+0100}, title = {Synthesis of loop-free programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2011.html#GulwaniJTV11}, year = 2011 }