Romanenko Sergei Anatol'evich

Publications in Math-Net.Ru

1. Supercompilation: homeomorphic embedding, call-by-name, partial evaluation
   
   Keldysh Institute preprints, 2018, 209, 32 pp.
2. Supercompilation: main principles and basic concepts
   
   Keldysh Institute preprints, 2018, 111, 36 pp.
3. TT Lite: a supercompiler for Martin-Löf's type theory
   
   Keldysh Institute preprints, 2013, 073, 28 pp.
4. Staged multi-result supercompilation: filtering before producing
   
   Keldysh Institute preprints, 2013, 070, 28 pp.
5. Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit
   
   Keldysh Institute preprints, 2012, 024, 21 pp.
6. Automatic verification of counter systems via domain-specific multi-result supercompilation
   
   Keldysh Institute preprints, 2012, 019, 30 pp.
7. MRSC: a toolkit for building multi-result supercompilers
   
   Keldysh Institute preprints, 2011, 077, 30 pp.