From program verification to program synthesis.

Saurabh Srivastava Sumit Gulwani Jeffrey S. Foster

Published in: POPL (2010)

Keyphrases

program synthesis
recursive programs
inductive logic programming
support vector
computational complexity
relational learning
pairwise