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

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

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