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

Препринт ИПМ № 26, Москва, 2013 г.
Авторы: Гречаник С. А.
Суперкомпиляция путём преобразования гиперграфа
Аннотация:
В данной работе представлена новая формулировка многорезультатной суперкомпиляции на основе преобразований графа. Для этого используется представление преобразуемой программы, основанное на гиперграфах. Данный подход соединяет суперкомпиляцию и насыщение равенствами. Также в работе показано, что в этих условиях естественным образом возникает многоуровневая суперкомпиляция.
Ключевые слова:
суперкомпиляция насыщение равенствами преобразование программ
Язык публикации: английский,  страниц: 24
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на английском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTex
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 2 (+1), всего с 01.09.2019 — 56
Сведения об авторах:
  • Гречаник Сергей Александрович,  orcid.org/0000-0001-8575-9689,  ИПМ им. М.В. Келдыша РАН