Equality Saturation Theory Exploration à la Carte.

Sun, 01 Oct 2023 01:00:00 +0200

Anjali Pal , Brett Saiki , Ryan Tjoa , Cynthia Richey , Amy Zhu , Oliver Flatt , Max Willsey , Zachary Tatlock , Chandrakana Nandi :
Equality Saturation Theory Exploration à la Carte. Proc. ACM Program. Lang. 7(OOPSLA2): 1034-1062 (2023)