|
|
Библиотеки, издания Поиск публикаций | English |
| Публикации |
| Романенко Сергей Анатольевич | |
| Персональная страница: | https://keldysh.ru/persons/saromanenko.html |
| Email: | |
| ORCID: | 0000-0002-2971-9647 |
| 2020 год |
| 1. |
Авторы: , , Климов А. В., Климов Ю. А., Название: Поразрядный параллелизм сложения действительных чисел за счет избыточности представления |
| 2018 год |
| 2. |
Авторы: Название: Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления |
| 3. |
Авторы: Климов А. В., Название: Суперкомпиляция: основные принципы и базовые понятия |
| 2013 год |
| 4. |
Авторы: Ключников И. Г., Название: TT Lite: суперкомпилятор для теории типов Мартина-Лёфа |
| 5. |
Авторы: Гречаник С. А., Ключников И. Г., Название: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения |
| 2012 год |
| 6. |
Авторы: Климов А. В., Ключников И. Г., Название: Реализация предметно-ориентированного многорезультатного суперкомпилятора с помощью инструментария MRSC |
| 7. |
Авторы: Климов А. В., Ключников И. Г., Название: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции |
| 2011 год |
| 8. |
Авторы: Ключников И. Г., Название: MRSC: инструментарий для создания многорезультатных суперкомпиляторов |
| 1988 год |
| 9. |
Авторы: , Название: Представление объектных выражений массивами при реализации языка РЕФАЛ |
| 1987 год |
| 10. |
Авторы: Климов А. В., Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание входного языка |
| 11. |
Авторы: Название: Прогонка для программ на РЕФАЛЕ-4 |
| 12. |
Авторы: Название: РЕФАЛ-4: расширение РЕФАЛА-2, обеспечивающее выразимость результатов прогонки |
| 13. |
Авторы: Климов А. В., Название: Метавычислитель для языка РЕФАЛ. Основные понятия и примеры |
| 14. |
Авторы: Название: Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру |
| 1986 год |
| 15. |
Авторы: Климов А. В., Название: Система программирования РЕФАЛ-2 для ЕС ЭВМ. Описание библиотеки функций |
| 1983 год |
| 16. |
Авторы: Лацис А. О., Название: БГП — Базовый Графический Пакет: реализация для комплекса БЭСМ-6-Т-1600 |
| 17. |
Авторы: , Название: ГРАФОР-БГП: интерактивная версия системы Графор |
| 18. |
Авторы: Название: Применение смешанных вычислений к ассемблерам и загрузчикам |
| 1978 год |
| 19. |
Авторы: Название: Подпрограммы обмена с лентами и барабанами БЭСМ-6 из программ, написанных на ФОРТРАНе в мониторной системе 'ДУБНА' |
| 20. |
Авторы: , Илюшин А.И., Название: Пакет макрокоманд для программирования без GOTO на языке АСТРА |
| 1976 год |
| 21. |
Авторы: , Илюшин А.И., , Название: Дополнительные возможности командного языка для запуска задач ЯУЗА |
| 1975 год |
| 22. |
Авторы: Климов А. В., Название: Рефал в мониторной системе Дубна БЭСМ-6. Интерфейс Рефала и Фортрана |
| 23. |
Авторы: Климов А. В., , , Название: РЕФАЛ в мониторной системе 'Дубна' БЭСМ-6. Входной язык компилятора и запуск программ |
| 1974 год |
| 24. |
Авторы: Климов А. В., , Название: Инструкция по работе с мониторной системой РЕФАЛ для БЭСМ-6 |
| 1973 год |
| 25. |
Авторы: , Климов А. В., Название: Теоретические основы синтаксического отождествления в языке РЕФАЛ |
| 1972 год |
| 26. |
Авторы: Климов А. В., , Название: Компилятор с языка РЕФАЛ |
| 1969 год |
| 27. |
Авторы: , , , Название: Описание системы программирования РЕФАЛ |