Rewrite rule inference using equality saturation
Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
5(OOPSLA)
Association for Computing Machinery
New York, NY, USA
oct 2021
Note(s): egraphs
Association for Computing Machinery
New York, NY, USA
oct 2021
Note(s): egraphs