The following pages link to Equality saturation (Q5261523):
Displayed 6 items.
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Higher-level supercompilation as a metasystem transition (Q1758721) (← links)
- Inductive Prover Based on Equality Saturation for a Lazy Functional Language (Q3455064) (← links)
- Accurate Evaluation of Arithmetic Expressions (Invited Talk) (Q5170165) (← links)
- Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)