Flashmeta: A framework for inductive program synthesis. (2015)

by A Polozov, S Gulwani
Venue:In OOPSLA,