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

Препринт ИПМ № 31, Москва, 2010 г.
Авторы: Ключников И. Г.
Суперкомпилятор HOSC: доказательство корректности
Аннотация:
В работе приводится доказательство корректности экспериментального суперкомпилятора HOSC, работающего с функциями высших порядков.
Язык публикации: русский/английский,  страниц: 28 / 28
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст на русском языке: Полный текст на английском языке:
Просмотров за последние 30 дней:  0 (+0),  с 01.09.2019 — 1 (статистика обновляется раз в сутки)
Сведения об авторах:
  • Ключников Илья Григорьевич,  ,  ИПМ им. М.В. Келдыша РАН