Using Program Synthesis for Program Analysis.

Cristina David Daniel Kroening Matt Lewis

Published in: CoRR (2015)

Keyphrases

program synthesis
recursive programs
inductive logic programming
database
relational learning
learning algorithm
databases
knowledge base
high level
support vector
computational complexity
software engineering