Login / Signup
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