Author:
Singh Rishabh,Solar-Lezama Armando
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;B. Jobstmann,2005
2. Lecture Notes in Computer Science;T. Lev-Ami,2000
3. Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. In: POPL, pp. 105–118 (1999)
4. Singh, R., Solar-Lezama, A.: Synthesizing data structure manipulations from storyboards. In: FSE, pp. 289–299 (2011)
5. Solar-Lezama, A.: Program Synthesis By Sketching. PhD thesis, EECS, UC Berkeley (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Machine programming;Proceedings of the VLDB Endowment;2022-08
2. The three pillars of machine programming;Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages;2018-06-18
3. SyGuS-Comp 2016: Results and Analysis;Electronic Proceedings in Theoretical Computer Science;2016-11-22
4. Data-guided repair of selection statements;Proceedings of the 36th International Conference on Software Engineering;2014-05-31
5. From Concrete Examples to Heap Manipulating Programs;Static Analysis;2013