Без заголовка

Кстати в зарубежной литературе вместо суперкомпиляции используется термин Abstract Interpretation.