Login / Signup

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