Better together: Unifying datalog and equality saturation
Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, Max Willsey[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Proc. ACM Program. Lang.
7(PLDI)
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): egraphs
Association for Computing Machinery
New York, NY, USA
jun 2023
Note(s): egraphs