Уточняющие E-графы

Тема касается E-графов (equivalence graphs), структуры данных, используемой для эффективного представления эквивалентности выражений. Метод применяется в компиляторах и верификаторах программ для оптимизации и анализа кода.