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 Proceedings of Formal Methods in Computer-Aided Design (FMCAD), pages 1-8, 2013.
Syntax-guided synthesis [link]Paper  bibtex   
@inproceedings{ dblp2167052,
  title = {Syntax-guided synthesis},
  author = {Rajeev Alur and Rastislav Bodí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},
  author_short = {Alur, R. and Bodík, R. and Juniwal, G. and Martin, M. M. K. and Raghothaman, M. and Seshia, S. A. and Singh, R. and Solar-Lezama, A. and Torlak, E. and Udupa, A.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp2167052},
  id = {dblp2167052},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fmcad/AlurBJMRSSSTU13},
  url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6679385},
  conference = {FMCAD},
  pages = {1-8},
  text = {FMCAD 2013:1-8},
  booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)}
}

Downloads: 0