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

Препринт ИПМ № 26, Москва, 2008 г.
Авторы: Климов А. В.
Отношение специализации программ, основанное на суперкомпиляции, и его свойства
Аннотация:
Дано формальное определение отношения между входом и выходом широкого класса специализаторов программ для простого функционального языка в виде правил вывода натуральной семантики. Отношение охватывает полигенную специализацию, включающую дефорестацию и суперкомпиляцию, и обобщает предыдущую работу автора по спецификации моногенной специализации, в которую вкладываются частичные вычисления и ограниченная суперкомпиляция. Предложенное отношение специализации выражает, что такое правильная специализированная программа, без конкретизации того, как специализатор ее строит. Определение отношения формализует основные понятия суперкомпиляции по В.Ф.Турчину: конфигурация, прогонка, обобщение конфигурации, расщепление конфигурации. Фактически дано определение суперкомпиляции, абстрагируясь от самой сложной части суперкомпиляторов - стратегий конфигурационного анализа. Обсуждаются основные свойства отношения специализации: идемпотентность, транзитивность, обоснованность (soundness), полнота, корректность.
Язык публикации: английский,  страниц: 28
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на английском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 9 (+6), всего с 01.09.2019 — 104
Сведения об авторах:
  • Климов Андрей Валентинович,  orcid.org/0000-0003-0418-7311ИПМ им. М.В. Келдыша РАН