Recursive Program Synthesis.

Aws Albarghouthi Sumit Gulwani Zachary Kincaid

Published in: CAV (2013)

Keyphrases

program synthesis
recursive programs
inductive logic programming
artificial intelligence
relational databases
learning process
logic programs
constraint satisfaction