| Proving the equivalence of higher-order terms by means of supercompilation I Klyuchnikov, S Romanenko International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 53 | 2009 |
| Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions I Klyuchnikov, SA Romanenko International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 33 | 2011 |
| Towards higher-level supercompilation I Klyuchnikov, S Romanenko Second International Workshop on Metacomputation in Russia 2 (4.2), 5, 2010 | 33 | 2010 |
| Supercompiler HOSC 1.0: under the hood I Klyuchnikov | 33 | 2009 |
| Supercompiler HOSC: proof of correctness I Klyuchnikov | 20 | 2010 |
| Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting I Klyuchnikov | 17 | 2010 |
| Supercompiler HOSC 1.1: proof of termination I Klyuchnikov | 17 | 2010 |
| SPSC: a simple supercompiler in Scala I Klyuchnikov, S Romanenko PU 9, 5, 2009 | 17 | 2009 |
| MRSC: a toolkit for building multi-result supercompilers I Klyuchnikov, SA Romanenko | 15 | 2011 |
| Automatic verification of counter systems via domain-specific multi-result supercompilation AV Klimov, IG Klyuchnikov, SA Romanenko Preprint 19, 2012-19, 2012 | 14 | 2012 |
| Towards effective two-level supercompilation I Klyuchnikov | 13 | 2010 |
| Proving the equivalence of higher-order terms by means of supercompilation. In Perspectives of Systems Informatics, volume 5947 of LNCS, pages 193-205 I Klyuchnikov, S Romanenko | 11 | 2010 |
| Supercompiler HOSC 1.0: under the hood. Preprint 63, Keldysh Institute of Applied Mathematics I Klyuchnikov Moscow, 2009 | 11 | 2009 |
| Inferring and proving properties of functional programs by means of supercompilation I Klyuchnikov Cand. Sci. Dissertation, 2010 | 10 | 2010 |
| The ideas and methods of supercompilation I Klyuchnikov Practice of Functional Programming 7, 2011 | 8 | 2011 |
| Formalizing and implementing multi-result supercompilation IG Klyuchnikov, SA Romanenko Klimov and Romanenko [18], 142-164, 2012 | 7 | 2012 |
| Supercompiler HOSC: proof of correctness. Preprint 31, Keldysh Institute of Applied Mathematics I Klyuchnikov | 7 | 2010 |
| Staged multi-result supercompilation: Filtering by transformation S Grechanik, I Klyuchnikov, S Romanenko Proceedings of the Fourth International Valentin Turchin Workshop on …, 2014 | 6 | 2014 |
| MRSC: a toolkit for building multi-result supercompilers. Preprint 77, Keldysh Institute of Applied Mathematics IG Klyuchnikov, SA Romanenko | 6 | 2011 |
| Towards effective two-level supercompilation. Preprint 81, Keldysh Institute of Applied Mathematics I Klyuchnikov | 6 | 2010 |
Sergei A. RomanenkoResearcher, Keldysh Institute of Applied Mathematics在 supercompilers.ru 的电子邮件经过验证
Sergei A. RomanenkoResearcher, Keldysh Institute of Applied Mathematics在 supercompilers.ru 的电子邮件经过验证
Andrei KlimovKeldysh Institute of Applied Mathematics, Russian Academy of Sciences在 keldysh.ru 的电子邮件经过验证