Суперкомпилятор SCP4: Общая структура
На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе рассмотрена общая структура суперкомпилятора SCP4 и показано несколько примеров преобразований посредством SCP4.
Издательство:
ЛКИ
Дата выхода: январь 2007