Better Together: Unifying Datalog and Equality Saturation
BibTeX
@misc{egglog,
author = {
Yihong Zhang and
Yisu Remy Wang and
Oliver Flatt and
David Cao and
Philip Zucker and
Eli Rosenthal and
Zachary Tatlock and
Max Willsey
},
title = {Better Together: Unifying Datalog and Equality Saturation},
year = {2023},
}
Abstract
[[ under revision ]]