Sign in

Type-and-example-directed program synthesis.

Peter-Michael OseraSteve Zdancewic
Published in: PLDI (2015)
Keyphrases
  • program synthesis
  • neural network
  • decision trees
  • programming language
  • recursive programs
  • semi supervised learning
  • contextual information
  • cellular automata
  • inductive logic programming