Equality saturation
From MaRDI portal
Publication:5261523
DOI10.1145/1480881.1480915zbMath1315.68078OpenAlexW2152397470MaRDI QIDQ5261523
Sorin Lerner, Zachary Tatlock, Ross Tate, Michael Stepp
Publication date: 3 July 2015
Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1480881.1480915
Related Items (6)
Theory exploration powered by deductive synthesis ⋮ Proving properties of functional programs by equality saturation ⋮ Inductive Prover Based on Equality Saturation for a Lazy Functional Language ⋮ Higher-level supercompilation as a metasystem transition ⋮ Accurate Evaluation of Arithmetic Expressions (Invited Talk) ⋮ Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods
This page was built for publication: Equality saturation