Web Library  •  Publication Searh	Русский
	Publications

Klimov Andrei Valentinovich
Email:	klimov@keldysh.ru
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: