Author:
Alur Rajeev,Černý Pavol,Radhakrishna Arjun
Publisher
Springer International Publishing
Reference20 articles.
1. SyGuS competition 2014.
http://www.sygus.org/SyGuS-COMP2014.html
2. Alur, R., Bodík, R., Juniwal, G., Martin, M., Raghothaman, M., Seshia, S., Singh, R., Solar-Lezama, A., Torlak, E., Udupa, A.: Syntax-guided synthesis. In: FMCAD, pp. 1–17 (2013)
3. Alur, R., Černý, P., Radhakrishna, A.: Synthesis through unification. CoRR abs/1505.05868 (2015).
http://arxiv.org/abs/1104.4306
4. Bloem, R., Hofferek, G., Könighofer, B., Könighofer, R., Außerlechner, S., Spörk, R.: Synthesis of synchronization using uninterpreted functions. In: FMCAD, pp. 35–42 (2014)
5. Bodík, R., Jobstmann, B.: Algorithmic program synthesis: introduction. STTT 15(5–6), 397–411 (2013)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献