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