Login / Signup
Type-Directed Program Synthesis and Constraint Generation for Library Portability.
Bruce Collie
Philip Ginsbach
Michael F. P. O'Boyle
Published in:
CoRR (2019)
Keyphrases
</>
program synthesis
recursive programs
neural network
information retrieval
learning algorithm
inductive logic programming
training data
data model
low level
learning experience
metamodel