Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
复制标题
自监督学习通过保留语义的重写规则证明程序之间的等效性
DOI：
10.48550/arxiv.2109.10476
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Steve Kommrusch, Martin Monperrus
中科院分区：
文献类型：
--
作者：
Steve Kommrusch, Martin Monperrus
登录
查看更多内容
DOI：
--
发表时间：
1983
期刊：
JACM
影响因子：
--
作者：
O. Ibarra;S. Moran
通讯作者：
S. Moran
DOI：
--
发表时间：
2021-05
期刊：
--
影响因子：
--
作者：
Miltiadis Allamanis;Henry Jackson-Flux;Marc Brockschmidt
通讯作者：
Miltiadis Allamanis;Henry Jackson-Flux;Marc Brockschmidt
DOI：
--
发表时间：
2010
期刊：
International Conference on Interactive Theorem Proving
影响因子：
--
作者：
William Mansky;Elsa L. Gunter
通讯作者：
Elsa L. Gunter
使用重写系统进行计算
影响因子：
--
作者：
N. Dershowitz
通讯作者：
N. Dershowitz
语言参数编译器验证及其应用于 LLVM
DOI：
--
发表时间：
2021
期刊：
International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
T. Kasampalis;D. Park;Zhengyao Lin;Vikram S. Adve;Grigore Roşu
通讯作者：
Grigore Roşu