Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference72 articles.
1. A survey of machine learning for big code and naturalness;Allamanis;ACM Comput. Surv.,2018
2. Model-driven engineering;Schmidt;IEEE Comput. Soc.,2006
3. Dimensions in program synthesis;Gulwani,2010
4. Ideas for connecting inductive program synthesis and bidirectionalization;Voigtländer,2012
5. Synthesis of circular compositional program proofs via abduction;Dillig;Int. J. Softw. Tools Technol. Transf.,2017
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献