Path-based inductive synthesis for program inversion.
Saurabh SrivastavaSumit GulwaniSwarat ChaudhuriJeffrey S. FosterPublished in: PLDI (2011)
Keyphrases
- functional programs
- program synthesis
- recursive programs
- logic programs
- inductive learning
- functional language
- computer programs
- image reconstruction
- probabilistic model
- computer science
- artificial intelligence
- information retrieval
- knowledge acquisition
- data sets
- inductive inference
- data structure
- programming environment
- similarity measure
- inductive reasoning
- image processing