| A compiler generator produced by a self-applicable specializer can have a surprisingly natural and understandable structure SA Romanenko Partial Evaluation and Mixed Computation, 445-463, 1988 | 94 | 1988 |
| Arity raiser and its use in program specialization SA Romanenko ESOP'90, 341-360, 1990 | 79 | 1990 |
| 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 |
| Moscow ML owner’s manual. Version 2.00, June 2000 S Romanenko, C Russo, P Sestoft URL: http://www.itu.dk/~sestoft/mosml.html, 2000 | 25* | 2000 |
| Partial evaluation for common intermediate language AM Chepovsky, AV Klimov, AV Klimov, YA Klimov, AS Mishchenko, ... Perspectives of System Informatics: 5th International Andrei Ershov Memorial …, 2003 | 22 | 2003 |
| Moscow ML Language Overview. Version 2.00, June 2000 S Romanenko, C Russo, P Sestoft URL: http://www.itu.dk/~sestoft/mosml.html, 2000 | 18* | 2000 |
| SPSC: a simple supercompiler in Scala I Klyuchnikov, S Romanenko PU 9, 5, 2009 | 17 | 2009 |
| MRSC: a toolkit for building multi-result supercompilers IG Klyuchnikov, SA Romanenko Keldysh Institute Preprints 77, 2011 | 15 | 2011 |
| Metavychislitel’dlja jazyka Refal. Osnovnye ponjatija i primery.(A metaevaluator for the language Refal. Basic concepts and examples) AV Klimov, SA Romanenko Preprint 71, 1987 | 15 | 1987 |
| Automatic verification of counter systems via domain-specific multi-result supercompilation AV Klimov, IG Klyuchnikov, SA Romanenko Preprint 19, 2012-19, 2012 | 14 | 2012 |
| 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 |
| Представление объектных выражений массивами при реализации языка Рефал СМ Абрамов, СА Романенко Препринты ИПМ им. МВ Келдыша, 1-31, 1988 | 9 | 1988 |
| Moscow ML S Romanenko, P Sestoft, C Russo | 8 | 2005 |
| Formalizing and Implementing Multi-Result Supercompilation IG Klyuchnikov, SA Romanenko The Third International Valentin Turchin Workshop on Metacomputation, 142-164, 2012 | 7 | 2012 |
| Staged Multi-Result Supercompilation: Filtering by Transformation SA Grechanik, IG Klyuchnikov, SA Romanenko Fourth International Valentin Turchin Workshop on Metacomputation, 54-78, 2014 | 6 | 2014 |
| MRSC: a toolkit for building multi-result supercompilers. Preprint 77, Keldysh Institute of Applied Mathematics IG Klyuchnikov, SA Romanenko | 6 | 2011 |
| Moscow ML. Software and documentation available on the Web S Romanenko, C Russo, N Kokholm, P Sestoft | 6 | 2003 |
| Moscow ML Library Documentation. Version 2.00, June 2000 S Romanenko, C Russo, P Sestoft URL: http://www.itu.dk/~sestoft/mosml.html, 2000 | 6* | 2000 |
Ilya KlyuchnikovFacebookfb.com üzerinde doğrulanmış e-posta adresine sahip