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

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

Статистика просмотров:
Эта страница:190
Страницы публикаций:297
Полные тексты:267
Списки литературы:86
E-mail:

http://www.mathnet.ru/rus/person79539
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://orcid.org/0000-0002-2971-9647

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

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