Program Synthesis using Abstraction Refinement.

Xinyu Wang Isil Dillig Rishabh Singh

Published in: CoRR (2017)

Keyphrases

program synthesis
recursive programs
high level
inductive logic programming
domain knowledge
database