Поднятие E-графов

E-Graphs (Equality Graphs) — это структура данных для оптимизации компиляторов и анализа программ. Обсуждается методика «Lifting» для работы с ними, что может применяться в задачах синтеза программ и верификации кода.