Samuel Coward, George A. Constantinides, Theo Drane. Combining E-Graphs with Abstract Interpretation. In Pietro Ferrara 0001, Liana Hadarean, editors, Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023. pages 1-7, ACM, 2023. [doi]
Abstract is missing.