Fingerprint
Dive into the research topics of 'Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
3
Citations
(Scopus)
74
Downloads
(Pure)