Стасенко А.П., Пыжов К.А., Идрисов Р.И. "Компилятор в системе функционального программирования SFP"

КОМПИЛЯТОР В СИСТЕМЕ ФУНКЦИОНАЛЬНОГО ПРОГРАММИРОВАНИЯ SFP

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

A. P. Stasenko, K. A. Pyjov, R. I. Idrisov
Compiler of System of Functional Programming (SFP)
Paper describes compiler of system of functional programming (SFP). The main features of SFP input language Sisal 3.2 are briefly introduced. The structure of first internal representation (IR1) and translation scheme from an input lan-guage to it is shown. Paper presents the following internal representations IR2 and IR3 as well as translation phases be-tween them and phases of optimization and parallelization in particular. The benchmark results of program optimizing transformations and execution on SMP architecture are shown.
Keywords: functional programming, dataflow languages, translation, optimization, parallelization.

http://lib.nsu.ru:8080/jspui/handle/nsu/129