Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Романенко Сергей Анатольевич
Персональная страница: http://keldysh.ru/persons/saromanenko.html
Email:

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

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

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