Program Synthesis.

Sumit Gulwani Oleksandr Polozov Rishabh Singh

Published in: Found. Trends Program. Lang. (2017)

Keyphrases

program synthesis
recursive programs
inductive logic programming
general purpose
support vector
context aware