Author:
Alur Rajeev,Radhakrishna Arjun,Udupa Abhishek
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;A Albarghouthi,2013
2. Alur, R., Bodík, R., Juniwal, G., Martin, M.M., Raghothaman, M., Seshia, S.A., Singh, R., Solar-Lezama, A., Torlak, E. and Udupa, A.: Syntax-guided synthesis. In: Formal Methods in Computer-Aided Design, FMCAD, Portland, OR, USA, 20–23 October, pp. 1–8 (2013)
3. Lecture Notes in Computer Science;R Alur,2015
4. Bishop, C.M.: Pattern Recognition and Machine Learning (Information Science and Statistics). Springer, New York (2006)
5. Feser, J.K., Chaudhuri, S., Dillig, I.: Synthesizing data structure transformations from input-output examples. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, 15–17 June, pp. 229–239 (2015)
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Programming by Example Made Easy;ACM Transactions on Software Engineering and Methodology;2023-11-24
2. Synthesizing Recursive Programs through Dataflow Constraints;Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2023-10-22
3. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16
4. Relational Query Synthesis ⋈ Decision Tree Learning;Proceedings of the VLDB Endowment;2023-10
5. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search;ACM Transactions on Programming Languages and Systems;2023-09-23