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.
Combinatorial sketching for finite programs [link]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 = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/asplos/Solar-LezamaTBSS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0