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

[pdf] 

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},
}