Recursive Program Synthesis
- 1 January 2013
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Synthesis from Examples: Interaction Models and AlgorithmsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2012
- Spreadsheet table transformations from examplesACM SIGPLAN Notices, 2011
- Synthesis of loop-free programsACM SIGPLAN Notices, 2011
- Synthesizing geometry constructionsACM SIGPLAN Notices, 2011
- Automating string processing in spreadsheets using input-output examplesACM SIGPLAN Notices, 2011
- Oracle-guided component-based program synthesisPublished by Association for Computing Machinery (ACM) ,2010
- Planning as heuristic searchArtificial Intelligence, 2001
- Inductive synthesis of recursive logic programs: achievements and prospectsThe Journal of Logic Programming, 1999
- Inductive logic program synthesis with DIALOGSLecture Notes in Computer Science, 1997
- A Deductive Approach to Program SynthesisACM Transactions on Programming Languages and Systems, 1980