Sign in

Program Synthesis for Program Analysis.

Cristina DavidPascal KesseliDaniel KroeningMatt 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