Typed Flexible-Arity Slotted E-Graphs: A Soundness Construction and an Alloy Case Study

Guanxuan Wu, Allison Sullivan

Slotted e-graphs represent open terms modulo consistent renaming, while algebraic operators benefit from canonical sequence, bag, or set children. We compose the two at a specifica…