Rewrite rule inference using equality saturation.

Fri, 01 Jan 2021 00:00:00 +0100

Chandrakana Nandi, Max Willsey , Amy Zhu, Yisu Remy Wang , Brett Saiki , Adam Anderson, Adriana Schulz , Dan Grossman, Zachary Tatlock :
Rewrite rule inference using equality saturation. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021)