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