Program Synthesis in the Industrial World: Inductive, Incremental, Interactive SYNT 2016

Oleksandr Polozov, Sumit Gulwani, and the rest of the PROSE team

Abstract