We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples.

Jan 29, 2024 · We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus input/output examples.

Aug 31, 2021 · We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples.

In this paper we introduce Synbit, a program synthesis system that makes BX programming more approachable to mainstream programmers. In particular, we propose ...

Sep 8, 2024 · We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples.

Abstract We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus input/output examples.

We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples.

This work proposes a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples, ...

Jan 29, 2024 · We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus input/output examples.

We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus input/output examples.