FlashMeta: a framework for inductive program synthesis.

Oleksandr Polozov, Sumit Gulwani

Browse the full OOPSLA paper archive.