#等价

通过使用图到序列模型重写规则来实现数据流图的等价性
Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Model(arxiv.org)
2020-9-24 8:26
下载PDF摘要：在这项工作中，我们的目标是可证明地计算表示为数据流图的两个程序之间的等价性。为此，我们将两个程序之间的等价问题形式化为找到一组从一个程序到另一个程序的保持语义的重写规则，使得在重写之后，两个程序在结构上是相同的，因此是基本等价的。然后，我们开发了第一个用于程序等价的图到序列神经网络系统，经过训练，可以......