Follow
Sergei A. Romanenko
Sergei A. Romanenko
Researcher, Keldysh Institute of Applied Mathematics
Verified email at supercompilers.ru - Homepage
Title
Cited by
Cited by
Year
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
901988
Arity raiser and its use in program specialization
SA Romanenko
ESOP'90, 341-360, 1990
801990
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
522009
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
332011
Towards higher-level supercompilation
I Klyuchnikov, S Romanenko
Second International Workshop on Metacomputation in Russia 2 (4.2), 5, 2010
332010
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
232003
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
172009
MRSC: a toolkit for building multi-result supercompilers
IG Klyuchnikov, SA Romanenko
Keldysh Institute Preprints 77, 2011
152011
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
151987
Automatic verification of counter systems via domain-specific multi-result supercompilation
AV Klimov, IG Klyuchnikov, SA Romanenko
Preprint 19, 2012-19, 2012
142012
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
112010
Представление объектных выражений массивами при реализации языка Рефал
СМ Абрамов, СА Романенко
Препринты ИПМ им. МВ Келдыша, 1-31, 1988
91988
Formalizing and Implementing Multi-Result Supercompilation
IG Klyuchnikov, SA Romanenko
The Third International Valentin Turchin Workshop on Metacomputation, 142-164, 2012
72012
Moscow ML
S Romanenko, P Sestoft, C Russo
72005
Staged Multi-Result Supercompilation: Filtering by Transformation
SA Grechanik, IG Klyuchnikov, SA Romanenko
Fourth International Valentin Turchin Workshop on Metacomputation, 54-78, 2014
62014
MRSC: a toolkit for building multi-result supercompilers. Preprint 77, Keldysh Institute of Applied Mathematics
IG Klyuchnikov, SA Romanenko
62011
Moscow ML. Software and documentation available on the Web
S Romanenko, C Russo, N Kokholm, P Sestoft
62003
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
The system can't perform the operation now. Try again later.
Articles 1–20