|
Библиотеки, издания Поиск публикаций | English |
Публикации |
Климов Андрей Валентинович | |
Email: | |
ORCID: | 0000-0003-0418-7311 |
2022 год |
1. |
Авторы: Название: Суперкомпиляция и частичные вычисления до сих пор не вошли в широкую практику программирования. Почему и что делать? |
2021 год |
2. |
Авторы: , Название: О теориях имен и ссылок в формальных языках и последствиях для функционального и объектно-ориентированного программирования |
2021 год |
3. |
Авторы: , Название: On Theory of Names to be Used in Semantics of References in Functional and Object-Oriented Languages |
2020 год |
4. |
Авторы: , , , Климов Ю. А., Романенко С. А. Название: Поразрядный параллелизм сложения действительных чисел за счет избыточности представления |
2019 год |
5. |
Авторы: , Название: О детерминированной параллельной реализации метода ветвей и границ на монотонных объектах |
2018 год |
6. |
Авторы: , Романенко С. А. Название: Суперкомпиляция: основные принципы и базовые понятия |
2012 год |
7. |
Авторы: , Ключников И. Г., Романенко С. А. Название: Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC |
2012 год |
8. |
Авторы: , Ключников И. Г., Романенко С. А. Название: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции |
2008 год |
9. |
Авторы: Название: Отношение специализации программ, основанное на суперкомпиляции, и его свойства |
1987 год |
10. |
Авторы: , Романенко С. А. Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание входного языка |
1987 год |
11. |
Авторы: , Романенко С. А. Название: Метавычислитель для языка РЕФАЛ. Основные понятия и примеры |
1986 год |
12. |
Авторы: , Романенко С. А. Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание библиотеки функций |
1975 год |
13. |
Авторы: , Романенко С. А. Название: Рефал в мониторной системе Дубна БЭСМ-6. Интерфейс Рефала и Фортрана |
1975 год |
14. |
Авторы: , , Романенко С. А., Название: РЕФАЛ в мониторной системе 'Дубна' БЭСМ-6. Входной язык компилятора и запуск программ |
1974 год |
15. |
Авторы: , Романенко С. А., Название: Инструкция по работе с мониторной системой РЕФАЛ для БЭСМ-6 |
1973 год |
16. |
Авторы: Романенко С. А., , Название: Теоретические основы синтаксического отождествления в языке РЕФАЛ |
1972 год |
17. |
Авторы: , Романенко С. А., Название: Компилятор с языка РЕФАЛ |