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

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