RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Романенко Сергей Анатольевич

В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5
Цитированных статей: 3
Ссылок в Math-Net.Ru: 5

Статистика просмотров:
Эта страница:112
Страницы публикаций:165
Полные тексты:227
Списки литературы:52
E-mail:

http://www.mathnet.ru/rus/person79539
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
1. TT Lite: a supercompiler for Martin-Löf's type theory
Ilya G. Klyuchnikov, Sergei A. Romanenko
Препринты ИПМ им. М. В. Келдыша, 2013, 073
2. Staged multi-result supercompilation: filtering before producing
S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko
Препринты ИПМ им. М. В. Келдыша, 2013, 070
3. Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC
А. В. Климов, И. Г. Ключников, С. А. Романенко
Препринты ИПМ им. М. В. Келдыша, 2012, 024
4. Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции
А. В. Климов, И. Г. Ключников, С. А. Романенко
Препринты ИПМ им. М. В. Келдыша, 2012, 019
5. MRSC: a toolkit for building multi-result supercompilers
I. G. Klyuchnikov, S. A. Romanenko
Препринты ИПМ им. М. В. Келдыша, 2011, 077

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017