Суперкомпиляция: основные принципы и базовые понятия

Дается введение в метод анализа и преобразования программ, называемый суперкомпиляцией. На примерах объясняются основные принципы и базовые понятия суперкомпиляции: прогонка, обобщение и зацикливание. Кратко описана ранняя история суперкомпиляции. Также приведено руководство по использованию простого суперкомпилятора SPSC, доступного через Интернет вместе с коллекцией примеров и открытыми исходными кодами.