Equality saturation: A new approach to optimization
Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]
Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '09
Savannah, GA, USA
Association for Computing Machinery
New York, NY, USA
Pages 264-276
2009
Note(s): egraphs
POPL '09
Savannah, GA, USA
Association for Computing Machinery
New York, NY, USA
Pages 264-276
2009
Note(s): egraphs