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

Abstract