Documents Related by Co-Citation

28 Oracle-Guided Component-Based Program Synthesis – Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari
400 Watch What I Do: Programming by Demonstration – A ed Cypher - 1993
53 Combinatorial sketching for finite programs – Armando Solar-Lezama, Liviu Tancau, Rastislav Bodik, Vijay Saraswat, Sanjit Seshia - 2006
44 Automating String Processing in Spreadsheets Using Input-Output Examples – Sumit Gulwani
164 A Deductive Approach to Program Synthesis – Z Manna, R Waldinger - 1980
594 Generalization as search – T Mitchell - 1982
958 Language identification in the limit – E M Gold - 1967
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
492 Algorithmic Program Debugging – E Y Shapiro - 1982