Статья посвящена описанию компилятора в системе функционального программирования SFP (System of Functional Programming). Вкратце описываются основные черты функционального языка Sisal 3.2, являющего входным языком системы SFP. Рассмотрено первое внутреннее представление IR1 и схема трансляции входного языка в него. Описаны дальнейшие внутренние представления IR2 и IR3 и фазы трансляции между ними и, в частности, фазами оптимизации и распараллеливания. Представлены результаты исследования эффективности оптимизирующих преобразований и результаты исполнения программ на SMP архитектуре.
функциональное программирование, потоковые языки, распараллеливание