Основные работы по методу насыщения равенствами (equality saturation)

Denali: A Goal-directed Superoptimizer (в работе описывается применение E-Graphs для задач оптимизации программ)
https://courses.cs.washington.edu/courses/cse501/15sp/papers/joshi.pdf

Equality Saturation: A New Approach to Optimization (вместо E-Graphs используются PEG/E-PEG, поддерживающие управляющие конструкции)
https://www.cs.cornell.edu/~ross/publications/eqsat/

"Доказательство свойств функциональных программ методом насыщения равенствами" (диссертация на русском языке)
https://keldysh.ru/council/1/2017-grechanik/diss.pdf

#optimization #synth