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    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/AlurBJMRSSSTU13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0