7 citations · 13 across the 15 of their papers we have counts for
1 paper · 2 filters
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…