Equality Saturation: A New Approach to Optimization

DOI10.2168/LMCS-7(1:10)2011zbMath1213.68195arXiv1012.1802MaRDI QIDQ3003313

Zachary Tatlock, Ross Tate, Sorin Lerner, Michael Stepp

Publication date: 26 May 2011

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.1802

zbMATH Keywords

compiler optimizationintermediate representationequality reasoning

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (2)

Accurate Evaluation of Arithmetic Expressions (Invited Talk) ⋮ Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

Uses Software

• MiniSat
• Pueblo
• Stratego
• TVOC
• TAMPR
• CLIPS
• Sat4j
• Soot

This page was built for publication: Equality Saturation: A New Approach to Optimization