Author:
Itzhaky Shachar,Peleg Hila,Polikarpova Nadia,Rowe Reuben N. S.,Sergey Ilya
Abstract
Abstract
This paper presents the main ideas behind deductive synthesis of heap-manipulating program and outlines present challenges faced by this approach as well as future opportunities for its applications.
Publisher
Springer International Publishing
Reference96 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Acclavio,2018
2. Alur, R., et al.: Syntax-guided synthesis. In: FMCAD, pp. 1–8. IEEE (2013)
3. Lecture Notes in Computer Science;R Alur,2017
4. Appel, A.W., et al.: Program Logics for Certified Compilers. Cambridge University Press (2014)
5. Balog, M., Gaunt, A.L., Brockschmidt, M., Nowozin, S., Tarlow, D.: Deepcoder: learning to write programs. arXiv preprint arXiv:1611.01989 (2016)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leveraging Rust Types for Program Synthesis;Proceedings of the ACM on Programming Languages;2023-06-06
2. Genetic Algorithm for Program Synthesis;Fundamentals of Software Engineering;2023
3. Specification-guided component-based synthesis from effectful libraries;Proceedings of the ACM on Programming Languages;2022-10-31