Sergei A. Romanenko

Publication Activity (10 Years)

Years Active: 1990-2015
Publications (10 Years): 1

Top Topics

Transition Model

Theoretical Basis

Top Venues

Program. Comput. Softw.

Ershov Memorial Conference

Publications

Ilya G. Klyuchnikov, Sergei A. Romanenko
Supercompilation for Martin-Lof's type theory. Program. Comput. Softw. 41 (3) (2015)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Certifying Supercompilation for Martin-Löf's Type Theory. Ershov Memorial Conference (2014)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Higher-level supercompilation as a metasystem transition. Program. Comput. Softw. 38 (5) (2012)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions. Ershov Memorial Conference (2011)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. Ershov Memorial Conference (2009)
Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov
Partial Evaluation for Common Intermediate Language. Ershov Memorial Conference (2003)
Sergei A. Romanenko
Arity Raiser and its Use in Program Specialization. ESOP (1990)