egg: Fast and extensible equality saturation
Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
5(POPL)
Association for Computing Machinery
New York, NY, USA
January 2021
Note(s): egraphs
Association for Computing Machinery
New York, NY, USA
January 2021
Note(s): egraphs