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

2022 year
1.  Conference material, 2022
Authors: Klimov A.V.
Title: Supercompilation and partial evaluation are still not widely used in practice. Why and what to do?

2021 year
2.  Conference material, 2021
Authors: Adamovich A.I., Klimov A.V.
Title: On theories of names and references in formal languages and implications for functional and object-oriented programming

2021 year
3.  Conference material, 2021
Authors: Adamovich A.I., Klimov A.V.
Title: On Theory of Names to be Used in Semantics of References in Functional and Object-Oriented Languages

2020 year
4.  Conference material, 2020
Authors: Nepejvoda N.N., Grigorevskiy I.N., Klimov A. V., Klimov Y. A., Romanenko S. A.
Title: Digit-wise parallelism of addition of real numbers due to redundancy of representation

2019 year
5.  Conference material, 2019
Authors: Adamovich A.I., Klimov A. V.
Title: On deterministic parallel implementation of the branch-and-bound method on monotonic objects

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

2012 year
7.  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

2012 year
8.  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
9.  KIAM Preprint  26, Moscow, 2008
Authors: Klimov A. V.
Title: A program specialization relation based on supercompilation and its properties

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

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

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

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

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

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

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

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