A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery
复制标题
通过匹配和重写规则发现进行 SyGuS 解决方案拟合的过程
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Tinelli, Cesare
中科院分区：
文献类型：
--
作者：
Mohamed, Abdalrhman;Reynolds, Andrew;Barrett, Clark;Tinelli, Cesare
登录
查看更多内容
DOI：
10.1145/3385412.3386027
发表时间：
2020
期刊：
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Huang, Kangjing;Qiu, Xiaokang;Shen, Peiyuan;Wang, Yanjun
通讯作者：
Wang, Yanjun
SyGuS-Comp15 的结果和分析
影响因子：
1.6
作者：
R. Alur;D. Fisman;Rishabh Singh;Armando Solar
通讯作者：
Armando Solar
DOI：
10.1007/978-3-319-13338-6_7
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
R. Alur;Milo M. K. Martin;Mukund Raghothaman;C. Stergiou;S. Tripakis;Abhishek Udupa
通讯作者：
Abhishek Udupa
Egg：简单、高效、可扩展的电子图
DOI：
--
发表时间：
2020
期刊：
arXiv.org
影响因子：
--
作者：
Max Willsey;Y. Wang;Oliver Flatt;Chandrakana Nandi;P. Panchekha;Zachary Tatlock
通讯作者：
Zachary Tatlock
基于模板的程序验证和程序综合
DOI：
--
发表时间：
2013
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
S. Srivastava;Sumit Gulwani;J. Foster
通讯作者：
J. Foster