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

Препринт ИПМ № 21, Москва, 2010 г.
Авторы: Ключников И. Г.
Суперкомпилятор HOSC 1.1: доказательство завершаемости
Аннотация:
В работе приводится доказательство завершаемости экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
Язык публикации: русский/английский,  страниц: 27/27
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке:
Полный текст на английском языке:
Список цитирующих публикаций:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Статистика просмотров (обновляется раз в сутки):
за последние 30 дней — 2 (+0), всего с 01.09.2019 — 67
Сведения об авторах:
  • Ключников Илья Григорьевич,  ilya.klyuchnikov@gmail.comИПМ им. М.В. Келдыша РАН