Constraint-Based Synthesis of Datalog Programs
Constraint-Based Synthesis of Datalog Programs
复制标题
基于约束的数据记录程序综合
DOI：
10.1007/978-3-319-66158-2_44
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Smith, Calvin
中科院分区：
文献类型：
--
作者：
Albarghouthi, Aws;Koutris, Paraschos;Naik, Mayur;Smith, Calvin
本文通过实例研究递归数据库程序的综合问题。我们提出了一种基于约束的合成方法，使用ansmtsolver有效地导航的Datasheet程序和相应的派生树的空间。我们展示了我们的技术的能力，从少量的例子合成一系列的图形操作递归程序。此外，我们证明了我们的技术的潜力，用于在自动建设的程序analysesfrom示例程序和所需的分析输出。
We study the problem of synthesizing recursive Datalog programs from examples. We propose a constraint-based synthesis approach that uses ansmtsolver to efficiently navigate the space of Datalog programs and their correspondingderivation trees. We demonstrate our technique’s ability to synthesize a range of graph-manipulating recursive programs from a small number of examples. In addition, we demonstrate our technique’s potential for use inautomatic construction of program analysesfrom example programs and desired analysis output.
登录
查看更多内容
函数式程序的归纳综合：一种基于解释的泛化方法
DOI：
10.1023/a:1008797606116
发表时间：
2006
期刊：
J. Mach. Learn. Res.
影响因子：
--
作者：
E. Kitzelmann;Ute Schmid
通讯作者：
Ute Schmid
指针分析
DOI：
--
发表时间：
2015
期刊：
Found. Trends Program. Lang.
影响因子：
--
作者：
Y. Smaragdakis;G. Balatsouras
通讯作者：
G. Balatsouras
影响因子：
1.4
作者：
Andrew Cropper;Alireza Tamaddoni;S. Muggleton
通讯作者：
S. Muggleton
测试驱动综合
DOI：
--
发表时间：
2014
期刊：
ACM-SIGPLAN Symposium on Programming Language Design and Implementation
影响因子：
--
作者：
Daniel Perelman;Sumit Gulwani;D. Grossman;Peter Provost
通讯作者：
Peter Provost
DOI：
10.1016/s0743-1066(99)00028-x
发表时间：
1999
期刊：
J. Log. Program.
影响因子：
--
作者：
P. Flener;Serap Yilmaz
通讯作者：
Serap Yilmaz