В работе описан ряд конструкций, которые предлагается ввести в Рефал-2. Эти конструкции позволяют выразить средствами входного языка рефал-системы результаты различных оптимизаций, выполныемых рефал-компилятором, но не выразимых средствами Рефала-2. Рефал-2, расширенный предлагаемыми конструкциями, именуется Рефалом-4. Результаты применения прогонки к программам на Рефале-4 выразимы средствами самого Рефала-4, что не имеет места для программ на Рефале-2. Изобразительные средства Рефала-4 являются более мощными, чем средства Полного Рефала.

обработка символьной информации, преобразование программ, рекурсия, рефал, сопоставление с образцом, функциональное программирование

Программирование, параллельные вычисления, мультимедиа