Program Synthesis from Partial Traces

Margarida Ferreira, Victor Nicolet, Joey Dodds +1

We present the first technique to synthesize programs that compose side-effecting functions, pure functions, and control flow, from partial traces containing records of only the si…