Exploring Popl 2021 Egg Fast And Extensible Equality Saturation Full
Let's dive into the details surrounding Popl 2021 Egg Fast And Extensible Equality Saturation Full.
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
- We've been working on egglog, a new language that subsumes both
- Optimism in
- We present egglog, a fixpoint reasoning system that unifies Datalog and
- Rewriting is an extremely common proof task supported by efficient and versatile tactics like $\texttt{rw}$ and $\texttt{simp}$.
In-Depth Information on Popl 2021 Egg Fast And Extensible Equality Saturation Full
Max Willsey (University of Washington, USA) Yisu Remy Wang (University of Washington) Oliver Flatt (University of Utah) Zachary ... ... video for the Guided Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner Presented at
Incremental
That wraps up our extensive overview of Popl 2021 Egg Fast And Extensible Equality Saturation Full.