鸡蛋：电子图表很好

@Article {2021鸡蛋，作者= {Willsey，Max和Nandi，Chandrakana和Wang，Yisu Refy和Flatt，Oliver和Tatlock，Zachary和Panchekha，Pavel}，标题= {鸡蛋：快速和可扩展的平等饱和度}，年= {2021}，问题_date = {1月2021}，Publisher = {Compution Machionery}，地址= {纽约，NY，USA}，Volume = {5}，Number = {Popl}，URL = {https：// DOI.ORG/10.1145/3434304}，DOI = {10.1145 / 3434304}，抽象= {E-Traph有效地代表了许多表达式的一致性关系。虽然它们最初在20世纪70年代后期开发，但在自动定理普通中使用，近期称为平等饱和度的技术正在修复电子图形，以实现最先进的，重写驱动的编译器优化和程序合成器。但是，电子图形仍然是未来专业化的，对于此较新的用例。平等饱和工作负载表现出明显的特性，并且通常需要ad-hoc e-traph延伸，以包含超出纯语法重写的转换。这项工作贡献了两种技巧，使电子图形快速和可扩展，专门从而达到平等饱和度。一种名为重建的新的摊销不变恢复技术利用了平等饱和度和＃39; S不同的工作量，在实践中提供了通过当前技术的渐近加速。一种称为E-Class分析的一般机制将特定于域的分析集成到电子图表中，从而减少了对Ad Hoc操纵的需求。我们在一个名为鸡蛋的新开源库中实施了这些技术。我们的案例研究关于三个先前发布的平等饱和度施用突出了鸡蛋的性能和灵活性如何在不同域中启用最先进的结果。}，期刊= {proc。 ACM程序。郎。}，月= jan，articleno = {23}，numpages = {29}，关键词= {quality饱和度，e-graphs}}