Описан проект мета вычислителя - системы, выполняющей специализацию (частичные вычисления) всех вызовов функций в программе на языке Рефал, используя частичную определенность аргументов. Характерной чертой метавычислителя является наличие средств управления процессом специализации программ со стороны пользователя. Из известных методов специализации рефал-программ выделяется набор базовых средств, которые под управлением человека позволяют компилировать в Рефал программы на простых, но практически значимых языках с использованием в качестве описания семантики языка текст его интерпретатора на Рефале. Демонстрируется, что при наличии метавычислителя отпадает необходимость в макрогенераторе над Рефалом.

языки программирования, компиляция и оптимизация программ, специализация программ, частичные вычисления, генератор компиляторов, метавычислитель, Рефал

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