Combinatorial sketching for finite programs
Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, and Vijay A. Saraswat. Combinatorial sketching for finite programs. In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pp. 404–415, ACM Press, October 2006.
Download
Abstract
(unavailable)
BibTeX
@inproceedings{solar-asplos06, 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)}, year = {2006}, month = {October}, publisher = {ACM Press}, pages = {404--415}, }