Библиотеки, издания  •  Поиск публикаций	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: внутренняя структура