Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 71, Москва, 1987 г.
Авторы: Климов А. В., Романенко С. А.
Метавычислитель для языка РЕФАЛ. Основные понятия и примеры
Аннотация:
Описан проект мета вычислителя - системы, выполняющей специализацию (частичные вычисления) всех вызовов функций в программе на языке Рефал, используя частичную определенность аргументов. Характерной чертой метавычислителя является наличие средств управления процессом специализации программ со стороны пользователя. Из известных методов специализации рефал-программ выделяется набор базовых средств, которые под управлением человека позволяют компилировать в Рефал программы на простых, но практически значимых языках с использованием в качестве описания семантики языка текст его интерпретатора на Рефале. Демонстрируется, что при наличии метавычислителя отпадает необходимость в макрогенераторе над Рефалом.
Ключевые слова:
языки программирования, компиляция и оптимизация программ, специализация программ, частичные вычисления, генератор компиляторов, метавычислитель, Рефал
Язык публикации: русский,  страниц: 35
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 0 (+0), всего с 01.09.2019 — 0
Сведения об авторах:
  • Климов Андрей Валентинович,  orcid.org/0000-0003-0418-7311ИПМ им. М.В. Келдыша РАН
  • Романенко Сергей Анатольевич,  orcid.org/0000-0002-2971-9647ИПМ им. М.В. Келдыша РАН