Syntax-guided synthesis. Alur, R., Bodík, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. In Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pages 1–8, 2013.
Syntax-guided synthesis [link]Paper  bibtex   
@inproceedings{DBLP:conf/fmcad/AlurBJMRSSSTU13,
  author    = {Rajeev Alur and
               Rastislav Bod{\'{\i}}k and
               Garvit Juniwal and
               Milo M. K. Martin and
               Mukund Raghothaman and
               Sanjit A. Seshia and
               Rishabh Singh and
               Armando Solar{-}Lezama and
               Emina Torlak and
               Abhishek Udupa},
  title     = {Syntax-guided synthesis},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20-23, 2013},
  pages     = {1--8},
  year      = {2013},
  crossref  = {DBLP:conf/fmcad/2013},
  url       = {https://ieeexplore.ieee.org/document/6679385/},
  timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0