|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
1. |
S. A. Romanenko, “Supercompilation: homeomorphic embedding, call-by-name, partial evaluation”, Keldysh Institute preprints, 2018, 209, 32 pp. |
2. |
A. V. Klimov, S. A. Romanenko, “Supercompilation: main principles and basic concepts”, Keldysh Institute preprints, 2018, 111, 36 pp. |
3
|
|
2013 |
3. |
Ilya G. Klyuchnikov, Sergei A. Romanenko, “TT Lite: a supercompiler for Martin-Löf's type theory”, Keldysh Institute preprints, 2013, 073, 28 pp. |
4. |
S. A. Grechanik, I. G. Klyuchnikov, S. A. Romanenko, “Staged multi-result supercompilation: filtering before producing”, Keldysh Institute preprints, 2013, 070, 28 pp. |
|
2012 |
5. |
A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit”, Keldysh Institute preprints, 2012, 024, 21 pp. ; 2012, 024, 20 pp. |
1
|
6. |
A. V. Klimov, I. G. Klyuchnikov, S. A. Romanenko, “Automatic verification of counter systems via domain-specific multi-result supercompilation”, Keldysh Institute preprints, 2012, 019, 30 pp. ; 2012, 019, 28 pp. |
2
|
|
2011 |
7. |
I. G. Klyuchnikov, S. A. Romanenko, “MRSC: a toolkit for building multi-result supercompilers”, Keldysh Institute preprints, 2011, 077, 30 pp. |
2
|
|
Organisations |
|
|
|
|