Статья
Промежуточное представление: IR, SSA, зачем нужен средний слой
Почему после проверки типов дерево выбрасывают: трёхадресный код, базовые блоки и граф потока управления, доминаторы и фронт доминирования, построение SSA по Cytron и …