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

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

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

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

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

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

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

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

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

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