1 paper
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…