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

В базах данных Math-Net.Ru
Публикаций: 6
Научных статей: 6

Статистика просмотров:
Эта страница:181
Страницы публикаций:255
Полные тексты:252
Списки литературы:74
E-mail:

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

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

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