Using Program Synthesis for Program Analysis.

Cristina David Daniel Kroening Matt Lewis

Published in: LPAR (2015)

Keyphrases

program synthesis
recursive programs
inductive logic programming
information retrieval
databases
database
np complete
training data
computational complexity
np hard
natural language processing
co occurrence
high level
expert systems
pairwise
supervised learning