Login / Signup
Program Synthesis by Type-Guided Abstraction Refinement.
Zheng Guo
Michael James
David Justo
Jiaxiao Zhou
Ziteng Wang
Ranjit Jhala
Nadia Polikarpova
Published in:
CoRR (2019)
Keyphrases
</>
program synthesis
inductive logic programming
high level
artificial intelligence
general purpose
relational learning
database
knowledge base
knn
co occurrence
recursive programs