Program Synthesis for Program Analysis.

Cristina David Pascal Kesseli Daniel Kroening Matt Lewis

Published in: ACM Trans. Program. Lang. Syst. (2018)

Keyphrases

program synthesis
recursive programs
inductive logic programming
artificial intelligence
high level
database
machine learning
pairwise
relational learning