Template-based program verification and program synthesis.
Saurabh SrivastavaSumit GulwaniJeffrey S. FosterPublished in: Int. J. Softw. Tools Technol. Transf. (2013)
Keyphrases
- program synthesis
- recursive programs
- inductive logic programming
- information retrieval
- relational learning
- logic programs
- data model
- prior knowledge
- reinforcement learning
- artificial intelligence
- data mining
- general purpose
- database
- labeled data
- semantic information
- first order logic
- learning problems
- database systems