KIAM Main page Web Library  •  Publication Searh   
Publications
Klimov Andrei Valentinovich
Email:
ORCID: 0000-0003-0418-7311

2018 year
1.  KIAM Preprint  111, Moscow, 2018
Authors: Klimov A.V., Romanenko S.A.
Title: Supercompilation: main principles and basic concepts

2012 year
2.  KIAM Preprint  24, Moscow, 2012
Authors: Klimov A.V., Klyuchnikov I. G., Romanenko S. A.
Title: Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit
3.  KIAM Preprint  19, Moscow, 2012
Authors: Klimov A.V., Klyuchnikov I. G., Romanenko S. A.
Title: Automatic verification of counter systems via domain-specific multi-result supercompilation

2008 year
4.  KIAM Preprint  26, Moscow, 2008
Authors: Klimov A.V.
Title: A program specialization relation based on supercompilation and its properties

1987 year
5.  KIAM Preprint  243, Moscow, 1987
Authors: Klimov A.V., Romanenko S. A.
Title:  
6.  KIAM Preprint  71, Moscow, 1987
Authors: Klimov A.V., Romanenko S. A.
Title:  

1986 year
7.  KIAM Preprint  200, Moscow, 1986
Authors: Klimov A.V., Romanenko S. A.
Title:  

1975 year
8.  KIAM Preprint  135, Moscow, 1975
Authors: Klimov A.V., Romanenko S. A.
Title:  
9.  KIAM Preprint  8, Moscow, 1975
Authors: Klimov A.V., .., Romanenko S. A., ..
Title:  

1974 year
10.  KIAM Preprint  136, Moscow, 1974
Authors: Klimov A.V., Romanenko S. A., ..
Title:  

1973 year
11.  KIAM Preprint  13, Moscow, 1973
Authors: Romanenko S. A., Klimov A.V., ..
Title:  

1972 year
12.  KIAM Preprint  83, Moscow, 1972
Authors: Klimov A.V., Romanenko S. A., ..
Title: