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    = {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