Sergei A. Romanenko - researchr profile

researchr

You are not signed in
Sign in
Sign up

My research interests include

Program transformation (partial evaluation, supercompilation, program specialization).
Program analysis and inferring properties of programs by means of program transformation.
Functional programming languages and their implementation (in particular, Refal and Standard ML).
Software development.

-

:

Keldysh Institute of Applied Mathematics

Proving the Equivalence of Higher-Order Terms by Means of SupercompilationIlya Klyuchnikov, Sergei A. Romanenko. ershov 2010: 193-205 [doi]

Partial Evaluation for Common Intermediate LanguageAndrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov. ershov 2003: 171-177 [doi]

Arity Raiser and its Use in Program SpecializationSergei A. Romanenko. ESOP 1990: 341-360 [doi]

runs on WebDSL