2 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David +1
We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a s…