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. CoRR abs/2108.10436 (2021)