Романенко С.А. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки

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