Sign in
Program synthesis: opportunities for the next decade.
Rastislav Bodík
Published in:
ICFP (2015)
Keyphrases
</>
program synthesis
recursive programs
learning algorithm
support vector
computational complexity
high dimensional
inductive logic programming