Constraint-Based Type-Directed Program Synthesis.

Peter-Michael Osera

Published in: CoRR (2019)

Keyphrases

program synthesis
knowledge base
database
high level
constraint satisfaction
recursive programs
training data
active learning
low level