半环缩减的正确编译
摘要：引言：计算指数算术的变量收缩问题是一种广义的稀疏和稠密张量代数、关系代数和图算法。我们引入了一种形式化操作语义，描述了变量收缩问题的融合执行。我们证明了该模型与函数语义的正确性。我们还开发了一个变量收缩表达式的编译器，并展示了其性能与最先进的稀疏张量代数编译器相当，同时提供了更大的通用性和正确性保证。
作者：Scott Kovach, Fredrik Kjolstad
论文ID：2207.13291
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-28