论文标题
电子图表的抽象解释
Abstract Interpretation on E-Graphs
论文作者
论文摘要
最近的电子绘画应用通常考虑到表达式的具体语义，其中等效性的概念源于表达式的具体解释。但是，在一种解释上保持的等价可能无法在另一种解释中持有。这样的观察可以被利用。我们考虑将抽象的解释应用于电子图表，并表明在电子图表中，与抽象域相关的晶格相遇操作对E级具有自然的解释，从而提高了过度评价的精度。在这个扩展的摘要中，我们使用间隔算术（IA）来说明这一点。
Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions. However, equivalences that hold over one interpretation may not hold in an alternative interpretation. Such an observation can be exploited. We consider the application of abstract interpretation to e-graphs, and show that within an e-graph, the lattice meet operation associated with the abstract domain has a natural interpretation for an e-class, leading to improved precision in over-approximation. In this extended abstract, we use Interval Arithmetic (IA) to illustrate this point.
