論文

査読有り

2021年

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Proceedings of the ACM on Programming Languages

Masaomi Yamaguchi
Kazutaka Matsuda
Cristina David
Meng Wang 0002

巻: 5
号: OOPSLA
開始ページ: 1
終了ページ: 31
記述言語
掲載種別: 研究論文（学術雑誌）
DOI: 10.1145/3485482

リンク情報

DOI: https://doi.org/10.1145/3485482
DBLP: https://dblp.uni-trier.de/rec/journals/pacmpl/YamaguchiMDW21
URL: https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#YamaguchiMDW21

ID情報

DOI : 10.1145/3485482
DBLP ID : journals/pacmpl/YamaguchiMDW21

エクスポート: BibTeX RIS

論文リストへ