Program synthesis using abstraction refinement.

Xinyu Wang Isil Dillig Rishabh Singh

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

program synthesis
high level
inductive logic programming
recursive programs
prior knowledge
text mining
refinement process
search engine
low level
information extraction
software engineering
bayesian framework
relational data