Combinatorial sketching for finite programs. Solar-Lezama, A., Tancau, L., Bodík, R., Seshia, S. A., & Saraswat, V. A. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006, pages 404–415, 2006. Paper doi bibtex @inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06,
author = {Armando Solar{-}Lezama and
Liviu Tancau and
Rastislav Bod{\'{\i}}k and
Sanjit A. Seshia and
Vijay A. Saraswat},
title = {Combinatorial sketching for finite programs},
booktitle = {Proceedings of the 12th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2006, San Jose, CA, USA, October 21-25, 2006},
pages = {404--415},
year = {2006},
crossref = {DBLP:conf/asplos/2006},
url = {https://doi.org/10.1145/1168857.1168907},
doi = {10.1145/1168857.1168907},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"yomWg75JQBhxFGWWR","bibbaseid":"solarlezama-tancau-bodk-seshia-saraswat-combinatorialsketchingforfiniteprograms-2006","author_short":["Solar-Lezama, A.","Tancau, L.","Bodík, R.","Seshia, S. A.","Saraswat, V. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]},{"firstnames":["Liviu"],"propositions":[],"lastnames":["Tancau"],"suffixes":[]},{"firstnames":["Rastislav"],"propositions":[],"lastnames":["Bodík"],"suffixes":[]},{"firstnames":["Sanjit","A."],"propositions":[],"lastnames":["Seshia"],"suffixes":[]},{"firstnames":["Vijay","A."],"propositions":[],"lastnames":["Saraswat"],"suffixes":[]}],"title":"Combinatorial sketching for finite programs","booktitle":"Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2006, San Jose, CA, USA, October 21-25, 2006","pages":"404–415","year":"2006","crossref":"DBLP:conf/asplos/2006","url":"https://doi.org/10.1145/1168857.1168907","doi":"10.1145/1168857.1168907","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/asplos/Solar-LezamaTBSS06,\n author = {Armando Solar{-}Lezama and\n Liviu Tancau and\n Rastislav Bod{\\'{\\i}}k and\n Sanjit A. Seshia and\n Vijay A. Saraswat},\n title = {Combinatorial sketching for finite programs},\n booktitle = {Proceedings of the 12th International Conference on Architectural\n Support for Programming Languages and Operating Systems, {ASPLOS}\n 2006, San Jose, CA, USA, October 21-25, 2006},\n pages = {404--415},\n year = {2006},\n crossref = {DBLP:conf/asplos/2006},\n url = {https://doi.org/10.1145/1168857.1168907},\n doi = {10.1145/1168857.1168907},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Solar-Lezama, A.","Tancau, L.","Bodík, R.","Seshia, S. A.","Saraswat, V. A."],"key":"DBLP:conf/asplos/Solar-LezamaTBSS06","id":"DBLP:conf/asplos/Solar-LezamaTBSS06","bibbaseid":"solarlezama-tancau-bodk-seshia-saraswat-combinatorialsketchingforfiniteprograms-2006","role":"author","urls":{"Paper":"https://doi.org/10.1145/1168857.1168907"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW"],"keywords":[],"search_terms":["combinatorial","sketching","finite","programs","solar-lezama","tancau","bodík","seshia","saraswat"],"title":"Combinatorial sketching for finite programs","year":2006}