На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован па функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько примеров преобразований посредством SCP4.
