Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Ключников Илья Григорьевич
Email:

2013 год
1.  Препринт ИПМ № 73, Москва, 2013
Авторы: Ключников И. Г., Романенко С. А.
Название: TT Lite: суперкомпилятор для теории типов Мартина-Лёфа
2.  Препринт ИПМ № 70, Москва, 2013
Авторы: Гречаник С. А., Ключников И. Г., Романенко С. А.
Название: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения

2012 год
3.  Препринт ИПМ № 24, Москва, 2012
Авторы: Климов А.В., Ключников И. Г., Романенко С. А.
Название: Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
4.  Препринт ИПМ № 19, Москва, 2012
Авторы: Климов А.В., Ключников И. Г., Романенко С. А.
Название: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции

2011 год
5.  Препринт ИПМ № 77, Москва, 2011
Авторы: Ключников И. Г., Романенко С. А.
Название: MRSC: инструментарий для создания многорезультатных суперкомпиляторов

2010 год
6.  Препринт ИПМ № 81, Москва, 2010
Авторы: Ключников И. Г.
Название: На пути к быстрой двухуровневой суперкомпиляции
7.  Препринт ИПМ № 62, Москва, 2010
Авторы: Ключников И. Г.
Название: Суперкомпилятор HOSC 1.5: гомеоморфное вложение и обобщение для выражений высшего порядка
8.  Препринт ИПМ № 31, Москва, 2010
Авторы: Ключников И. Г.
Название: Суперкомпилятор HOSC: доказательство корректности
9.  Препринт ИПМ № 21, Москва, 2010
Авторы: Ключников И. Г.
Название: Суперкомпилятор HOSC 1.1: доказательство завершаемости

2009 год
10.  Препринт ИПМ № 63, Москва, 2009
Авторы: Ключников И. Г.
Название: Суперкомпилятор HOSC 1.0: внутренняя структура