Author:
Jacindha S.,Abishek G.,Vasuki P.
Publisher
Springer Nature Singapore
Reference33 articles.
1. R. Alur, R. Bodik, G. Juniwal, M.M.K. Martin, M. Raghothaman, S.A. Seshia, R. Singh, A. Solar-Lezama, E. Torlak, A. Udupa, Syntax-guided synthesis, in 2013 Formal Methods in Computer-Aided Design (2013), pp. 1–8
2. M. Balog, A.L. Gaunt, M. Brockschmidt, S. Nowozin, D. Tarlow, Deepcoder: Learning to Write Programs. arXiv preprint arXiv:1611.01989 (2016)
3. X. Chen, C. Liu, D. Song, Towards Synthesizing Complex Programs from Input-Output Examples (2017)
4. C. David, D. Kroening, Program synthesis: challenges and opportunities. Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 375(2104), 20150403 (2017)
5. A. Desai, S. Gulwani, V. Hingorani, N. Jain, A. Karkare, M. Marron, R.S. Roy, Program Synthesis Using Natural Language (2015)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献