Sign in

From program verification to program synthesis.

Saurabh SrivastavaSumit GulwaniJeffrey S. Foster
Published in: POPL (2010)
Keyphrases
  • program synthesis
  • recursive programs
  • inductive logic programming
  • support vector
  • computational complexity
  • relational learning
  • pairwise