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

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

Статистика просмотров:
Эта страница:291
Страницы публикаций:595
Полные тексты:363
Списки литературы:95
E-mail:

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

Публикации в базе данных Math-Net.Ru
2018
1. С. А. Романенко, “Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления”, Препринты ИПМ им. М. В. Келдыша, 2018, 209, 32 стр.  mathnet  elib
2. А. В. Климов, С. А. Романенко, “Суперкомпиляция: основные принципы и базовые понятия”, Препринты ИПМ им. М. В. Келдыша, 2018, 111, 36 стр.  mathnet  elib
2013
3. Ilya G. Klyuchnikov, Sergei A. Romanenko, “TT Lite: a supercompiler for Martin-Löf's type theory”, Препринты ИПМ им. М. В. Келдыша, 2013, 073, 28 стр.  mathnet
4. S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Препринты ИПМ им. М. В. Келдыша, 2013, 070, 28 стр.  mathnet
2012
5. А. В. Климов, И. Г. Ключников, С. А. Романенко, “Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC”, Препринты ИПМ им. М. В. Келдыша, 2012, 024, 21 стр.  mathnet; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, 2012, 024, 20 pp.
6. А. В. Климов, И. Г. Ключников, С. А. Романенко, “Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции”, Препринты ИПМ им. М. В. Келдыша, 2012, 019, 30 стр.  mathnet; A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, 2012, 019, 28 pp.
2011
7. I. G. Klyuchnikov, S. A. Romanenko, “MRSC: a toolkit for building multi-result supercompilers”, Препринты ИПМ им. М. В. Келдыша, 2011, 077, 30 стр.  mathnet

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