Rewrite rule inference using equality saturationOpen Website

Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock

2021 (modified: 11 Nov 2022)Proc. ACM Program. Lang. 2021Readers: Everyone
0 Replies