.png){kind=icon}
返回
Contextual Equality Saturation
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-07106-4_3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
等式饱和是一种基于语义的技术，用于自动且高效地证明两个程序在固定等式公理集下是等价的。在本文中，我们通过引入上下文推理来扩展等式饱和技术，以便在条件分支内部局部有效的假设下进行重写。这基于一种具有上下文注释的新型循环 e-图概念。我们通过证明需要上下文推理的多个程序族别的等价性，实验验证了该新技术的效率和可扩展性。
Keyword:
Equality saturation
Contextual reasoning
Program equivalence
E-graphs
Rewriting systems
期刊
S
IF:
0
论文数:
14
被引数:
0
机构
引用论文
.png){kind=icon}
查看更多内容