Synbit: synthesizing bidirectional programs using unidirectional sketches
Synbit: synthesizing bidirectional programs using unidirectional sketches
复制标题
Synbit：使用单向草图合成双向程序
DOI：
10.1145/3485482
复制
发表时间：
2021
影响因子：
--
通讯作者：
Wang Meng
中科院分区：
文献类型：
--
作者：
Yamaguchi Masaomi;Matsuda Kazutaka;David Cristina;Wang Meng
我们提出了一种技术，从相应的单向代码加上一些输入/输出的例子合成双向程序。其核心思想是：（1）使用给定的单向程序作为规范来构造草图，以及（2）通过利用双向程序的属性以模块化方式填充草图。这些想法是通过我们选择的编程语言HOBiT实现的，HOBiT专门设计用于在双向编程中保持单向程序结构，并保持控制双向行为的部分模块化。为了评估我们的方法，我们在一个名为Synbit的工具中实现了它，并使用它为复杂的微基准测试生成双向程序，以及一些更大，更现实的问题。我们还将Synbit与最先进的单向合成工具进行了反向合成计算的比较。
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 sketch using the given unidirectional program as a specification, and (2) filling the sketch in a modular fashion by exploiting the properties of bidirectional programs. These ideas are enabled by our choice of programming language, HOBiT, which is specifically designed to maintain the unidirectional program structure in bidirectional programming, and keep the parts that control bidirectional behavior modular. To evaluate our approach, we implemented it in a tool called Synbit and used it to generate bidirectional programs for intricate microbenchmarks, as well as for a few larger, more realistic problems. We also compared Synbit to a state-of-the-art unidirectional synthesis tool on the task of synthesizing backward computations.
登录
查看更多内容
纯函数式惰性非确定性编程
影响因子：
1.1
作者：
Sebastian Fischer;O. Kiselyov;Chung
通讯作者：
Chung
Resugagar：通过语法糖提升评估序列
DOI：
10.1145/2594291.2594319
发表时间：
2014
期刊：
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Justin Pombrio;S. Krishnamurthi
通讯作者：
S. Krishnamurthi
DOI：
--
发表时间：
2005
期刊：
IEICE Trans. on Information and Systems(in Japanese) Vol.J88-D-I, No.8
影响因子：
--
作者：
Naoki Nishida;Masahiko Sakai;Toshiki Sakabe
通讯作者：
Toshiki Sakabe
DOI：
--
发表时间：
1981
期刊：
--
影响因子：
--
作者：
R. Korf
通讯作者：
R. Korf
用于程序分析的程序综合
影响因子：
1.3
作者：
C. David;Pascal Kesseli;D. Kroening;M. Lewis
通讯作者：
M. Lewis