Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Климов Андрей Валентинович
Email:
ORCID: 0000-0003-0418-7311

2022 год
1.  Материал конференции, 2022
Авторы: Климов А.В.
Название: Суперкомпиляция и частичные вычисления до сих пор не вошли в широкую практику программирования. Почему и что делать?

2021 год
2.  Материал конференции, 2021
Авторы: Адамович А.И., Климов А.В.
Название: О теориях имен и ссылок в формальных языках и последствиях для функционального и объектно-ориентированного программирования

2021 год
3.  Материал конференции, 2021
Авторы: Адамович А.И., Климов А.В.
Название: On Theory of Names to be Used in Semantics of References in Functional and Object-Oriented Languages

2020 год
4.  Материал конференции, 2020
Авторы: Непейвода Н.Н., Григоревский И.Н., Климов А. В., Климов Ю. А., Романенко С. А.
Название: Поразрядный параллелизм сложения действительных чисел за счет избыточности представления

2019 год
5.  Материал конференции, 2019
Авторы: Адамович А.И., Климов А. В.
Название: О детерминированной параллельной реализации метода ветвей и границ на монотонных объектах

2018 год
6.  Препринт ИПМ № 111, Москва, 2018
Авторы: Климов А. В., Романенко С. А.
Название: Суперкомпиляция: основные принципы и базовые понятия

2012 год
7.  Препринт ИПМ № 24, Москва, 2012
Авторы: Климов А. В., Ключников И. Г., Романенко С. А.
Название: Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC

2012 год
8.  Препринт ИПМ № 19, Москва, 2012
Авторы: Климов А. В., Ключников И. Г., Романенко С. А.
Название: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции

2008 год
9.  Препринт ИПМ № 26, Москва, 2008
Авторы: Климов А. В.
Название: Отношение специализации программ, основанное на суперкомпиляции, и его свойства

1987 год
10.  Препринт ИПМ № 243, Москва, 1987
Авторы: Климов А. В., Романенко С. А.
Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание входного языка

1987 год
11.  Препринт ИПМ № 71, Москва, 1987
Авторы: Климов А. В., Романенко С. А.
Название: Метавычислитель для языка РЕФАЛ. Основные понятия и примеры

1986 год
12.  Препринт ИПМ № 200, Москва, 1986
Авторы: Климов А. В., Романенко С. А.
Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание библиотеки функций

1975 год
13.  Препринт ИПМ № 135, Москва, 1975
Авторы: Климов А. В., Романенко С. А.
Название: Рефал в мониторной системе Дубна БЭСМ-6. Интерфейс Рефала и Фортрана

1975 год
14.  Препринт ИПМ № 8, Москва, 1975
Авторы: Климов А. В., Проворов Л.В., Романенко С. А., Травкина Е.В.
Название: РЕФАЛ в мониторной системе 'Дубна' БЭСМ-6. Входной язык компилятора и запуск программ

1974 год
15.  Препринт ИПМ № 136, Москва, 1974
Авторы: Климов А. В., Романенко С. А., Травкина Е.В.
Название: Инструкция по работе с мониторной системой РЕФАЛ для БЭСМ-6

1973 год
16.  Препринт ИПМ № 13, Москва, 1973
Авторы: Романенко С. А., Климов А. В., Турчин В.Ф.
Название: Теоретические основы синтаксического отождествления в языке РЕФАЛ

1972 год
17.  Препринт ИПМ № 83, Москва, 1972
Авторы: Климов А. В., Романенко С. А., Турчин В.Ф.
Название: Компилятор с языка РЕФАЛ