Романенко Сергей Анатольевич

Публикации в базе данных Math-Net.Ru

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