|
2017
• А.В. Климов, С.А. Романенко. Краткая история суперкомпиляции в России // Языки программирования и компиляторы - 2017 Труды конференции. Редактор: Д.В. Дубров — 2017 — С. 147-152
• С.А. Романенко. Рефал и Агда как воплощения идеи "метаалгоритмического языка" // Научный сервис в сети Интернет Труды XIX Всероссийской научной конференции. ИПМ им. М.В. Келдыша РАН — 2017 — С. 417-424
DOI=10.20948/abrau-2017-63
2015
• Ilya G. Klyuchnikov, Sergei A. Romanenko. . Supercompilation for
Martin-Lof's type theory. Program. Comput. Softw. 41, 3 (May 2015),
170-182, 2015.
DOI=10.1134/S0361768815030068
(Перевод статьи из журнала Программирование №3, 2015.)
• И.Г. Ключников, С.А. Романенко. Суперкомпиляция для теории типов
Мартина-Лёфа. - Программирование №3, 2015. c.73-87.
2014
• Sergei Grechanik, Ilya Klyuchnikov, and Sergei Romanenko. Staged
Multi-Result Supercompilation: Filtering by Transformation. In
Fourth International Valentin Turchin Workshop on Metacomputation
(Proceedings of the Fourth International Valentin Turchin Workshop
on Metacomputation. Pereslavl-Zalessky, Russia, June 29 - July
3, 2014). A.V. Klimov and S.A. Romanenko, Ed. - Pereslavl-Zalessky:
Publishing House "University of Pereslavl", 2014, 256 p. ISBN
978-5-901795-31-6, pages 54-78.
2013
• Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko.
Staged multi-result supercompilation: filtering before producing.
Keldysh Institute Preprints, (70), 2013. - 28 p.
• Ilya G. Klyuchnikov, Sergei A. Romanenko. TT Lite: a supercompiler
for Martin-Löf’s type theory. Keldysh Institute Preprints,
(73), 2013. - 28 p.
• Sergei Romanenko, Claudio Russo and Peter Sestoft. Moscow ML Owner's
Manual. Version 2.10, June 2013, 50 pages.
2012
• И.Г. Ключников, С.А. Романенко. Суперкомпиляция высшего уровня как
путь к метасистемному переходу. - Программирование №5,
2012, с.35-53.
• Ilya Klyuchnikov and Sergei A. Romanenko. Multi-result
supercompilation as branching growth of the penultimate level in
metasystem transitions. In: Proceedings of the 8th international
conference on Perspectives of System Informatics (PSI'11), Edmund
Clarke, Irina Virbitskaite, and Andrei Voronkov (Eds.). Lecture
Notes in Computer Science, volume 7162, pages 210-226.
Springer-Verlag, Berlin, Heidelberg, 2012. (ISBN: 978-3-642-29708-3)
DOI=10.1007/978-3-642-29709-0\_19
• Andrei V. Klimov, Ilya G. Klyuchnikov and Sergei A. Romanenko.
Automatic verification of counter systems via domain-specific
multi-result supercompilation. - Moscow: Keldysh Institute of
Applied Mathematics, preprint 19, 2012. - 28 p.
• Andrei V. Klimov, Ilya G. Klyuchnikov and Sergei A. Romanenko.
Implementing a domain-specific multi-result supercompiler by means
of the MRSC toolkit. - Moscow: Keldysh Institute of Applied
Mathematics, preprint 24, 2012. - 20 p.
• Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. Romanenko.
Automatic Verification of Counter Systems via Domain-Specific
Multi-Result Supercompilation. In: Third International Valentin
Turchin Workshop on Metacomputation (Proceedings of the Third
International Valentin Turchin Workshop on Metacomputation.
Pereslavl-Zalessky, Russia, July 5-9, 2012). A.V. Klimov and S.A.
Romanenko, Ed. - Pereslavl-Zalessky: Ailamazyan University of
Pereslavl, 2012, 260 p. ISBN 978-5-901795-28-6, pages 112-141.
• Ilya G. Klyuchnikov, Sergei A. Romanenko. Formalizing and
Implementing Multi-Result Supercompilation. In Third International
Valentin Turchin Workshop on Metacomputation (Proceedings of the
Third International Valentin Turchin Workshop on Metacomputation.
Pereslavl-Zalessky, Russia, July 5-9, 2012). A.V. Klimov and S.A.
Romanenko, Ed. - Pereslavl-Zalessky: Ailamazyan University of
Pereslavl, 2012, 260 p. ISBN 978-5-901795-28-6, pages 142-164.
2011
• Ilya Klyuchnikov and Sergei Romanenko. MRSC: a toolkit for building
multi-result supercompilers. - Moscow: Keldysh Institute of Applied
Mathematics, preprint 77, 2011. - 27 p.
• Ilya Klyuchnikov and Sergei Romanenko. Multi-Result Supercompilation
as Branching Growth of the Penultimate Level in
Metasystem Transitions. Ershov Informatics Conference, PSI 2011,
Novosibirsk, Akademgorodok, Russia, June, 27 – July, 1, 2011.
2010
• Ilya Klyuchnikov and Sergei Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives
of Systems Informatics 7th International Andrei Ershov Memorial
Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised
Papers, Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (Eds.).
Lecture Notes in Computer Science, volume 5947, pages 193-205.
Springer-Verlag, Berlin, Heidelberg, 2010. (ISBN: 978-3-642-11485-4)
DOI=10.1007/978-3-642-11486-1\_17
• Ilya Klyuchnikov and Sergei Romanenko. Towards Higher-Level Supercompilation. In Second International Workshop on Metacomputation in Russia (Proceedings of the Second International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 1-5, 2010). A. P. Nemytykh, Ed. - Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2010, 186 p. ISBN 978-5-901795-21-7, pages 82-101.
2009
• Ilya Klyuchnikov and Sergei Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 150-158.
• Ilya Klyuchnikov and Sergei Romanenko. SPSC: a Simple Supercompiler in Scala. In: International Workshop on Program Understanding 19-23 June, Altai Mountains, Russia. Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 5-17.
• И.Г.Ключников, С.А.Романенко. SPSC: Суперкомпилятор на языке Scala. // Программные продукты и системы. 2009. №2 (86). ISSN 0236-235X - с. 74-80.
2008
• Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Рефал Плюс в среде Eclipse. Программные системы: теория и приложения (к пятнадцатилетию УГП им. А. К. Айламазяна) // Сборник трудов научно-практической совместной конференции студентов, аспирантов, преподавателей и научных сотрудников Института программных систем Российской академии наук и «Университета города Переславля» им. А. К. Айламазяна, г.Переславль-Залесский, апрель 2008 / Под редакцией С. М.Абрамова и С. В. Знаменского. В двух томах. - Переславль-Залесский: Изд-во "Университет города Переславля", 2008. ISBN 978-5-901795-13-1, ISBN 978-5-901795-13-2. (Т. 1). - с. 123-132.
• Sergei A. Romanenko. Higher-Order Functions as a Substitute for Partial Evaluation (A Tutorial). In First International Workshop on Metacomputation in Russia (Proceedings of the first International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008). A. P. Nemytykh, Ed. - Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008, 108 p. ISBN 978-5-901795-12-5, pages 145-162.
2007
• Ю.А.Климов, А.Ю.Орлов, С.А.Романенко. Язык Рефал Плюс на платформе Java. В сб. Всероссийская научная конференция "Научный сервис в сети ИНТЕРНЕТ: многоядерный компьютерный мир. 15 лет РФФИ". - М.: Изд-во МГУ, 2007, c. 207–209.
2006
• Р.Гурин, С.Романенко. Язык программирования Рефал Плюс. Курс лекций. Учебное пособие для студентов университета города Переславля. - Переславль-Залесский: "Университет города Переславля" им.А.К.Айламазяна, 2006. - 222 с.
2003
• Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, and Sergei Yu. Skorobogatov. Partial Evaluation for Common Intermediate Language // M. Broy and A.V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science, volume 2890/2003, pages 171-177. Springer-Verlag Berlin Heidelberg, 2003.
2000
• S. Romanenko, C. Russo and P. Sestoft: Moscow ML Language Overview, version 2.00, June 2000, 24 pages.
• S. Romanenko, C. Russo and P. Sestoft: Moscow ML Owner's Manual, version 2.00, June 2000, 35 pages.
• S. Romanenko, C. Russo and P. Sestoft: Moscow ML Library Documentation, version 2.00, June 2000, 170 pages.
1998
• S. Romanenko and P. Sestoft. Moscow ML language overview, version 1.43, April 1998.
• S. Romanenko and P. Sestoft. Moscow ML owner's manual, version 1.43, April 1998.
1991
• Р.Ф.Гурин, С.А.Романенко. Язык программирования Рефал Плюс. - М.:ИНТЕРТЕХ, 1991. - 183 с.
1990
• S. A. Romanenko. Arity Raiser and its Use in Program Specialization. In Proceedings of the 3rd European Symposium on Programming (May 15 - 18, 1990). N. D. Jones, Ed. Lecture Notes In Computer Science, vol. 432. Springer-Verlag, London, 341-360.
1988
• С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. - М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт N 186. - 27 с.
• С.А.Романенко. Мета-мета-вычисления и специализация программ. - В сб.: Тезисы докладов Всесоюзной школы-семинара "Семиотические аспекты формализации интеллектуальной деятельности" в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.65-68.
• S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463, North-Holland, 1988.
1987
• Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с.
• С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 191 с.
• С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Компиляция и исполнение Рефал-программ под управлением ПДО СВМ. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 35 с.
• С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Интерфейс Рефала и PL/I. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 79 с.
• С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 26. - 35 с.
• Ан.В.Климов, С.А.Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 71. - 32 с.
• С.А.Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с.
• С.А.Романенко. Прогонка для программ на Рефале-4. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с.
1986
• Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с.
1983
• С.А.Романенко. Применение смешанных вычислений к ассемблерам и загрузчикам. - М.:ИПМ АН СССР, 1983, препринт N 27. - 15 с.
• А.О.Лацис, Г.В.Лебедев, С.А.Романенко. БГП - Базовый Графический Пакет: функциональное описание. - М.:ИПМ АН СССР, 1983. - 51 с.
• А.О.Лацис, С.А.Романенко. ГРАФОР-БГП: Интерактивная версия системы ГРАФОР. - М.:ИПМ АН СССР, 1983, препринт N 89. - 26 с.
• А.О.Лацис, С.А.Романенко. БГП - Базовый Графический Пакет: реализация для комплекса БЭСМ-6 - T-1600. - М.:ИПМ АН СССР, 1983, препринт N 110. - 12 с.
1981
• С.А.Романенко. Системные программы. Ассемблер. - В сб. Система обработки экономической информации на малых ЭВМ., М: "Книга", 1981, с. 144-151.
1978
• С.А.Романенко. Подпрограммы обмена с лентами и барабанами БЭСМ-6 из программ, написанных на Фортране в мониторной системе "Дубна". - М.:ИПМ АН СССР, 1978. - 12 с.
• А.Н.Ерохов, А.И.Илюшин, С.А.Романенко. Пакет макрокоманд для программирования без GOTO на языке АСТРА. - М.:ИПМ АН СССР, 1978, препринт N 97. - 31 с.
• С.А.Романенко. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. - М.:ИПМ АН СССР, 1978. - 211 с.
1977
• Анд.В.Климов, Арк.В.Климов, А.Г.Красовский, С.А.Романенко, Е.В.Травкина, В.Ф.Турчин, В.Ф.Хорошевский, И.Б.Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, vol. 5, N 40. Москва, 1977. - 258 с.
1976
• С.А.Романенко, М.Р.Ковтун, Арк.В.Климов, В.Л.Кистлеров. Мониторная система СЕКАЧ (описание и инструкция по использованию). - М.:ЦНИПИАСС, 1976. - 60 с.
• А.Н.Ерохов, А.И.Илюшин, С.А.Романенко, Г.П.Хованская. Дополнительные возможности командного языка для запуска задач ЯУЗА. - М.:ИПМ АН СССР, 1976. - 16 с.
1975
• Анд.В. Климов, Л.В.Проворов, С.А.Романенко, Е.В.Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. - М.:ИПМ АН СССР, 1975, препринт N 8. - 71 с.
• Климов Анд.В. , Романенко С.А. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. - М.:ИПМ АН СССР, 1975. - 86 с.
1974
• Анд.В.Климов, С.А.Романенко, Е.В.Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6 . - М.:ИПМ АН СССР, 1974. - 72 с.
• С.А.Романенко, М.Р.Ковтун. Мониторная система "Секач". - В сб. Труды ЦНИПИАСС, вып. 4, М.:ЦНИПИАСС, 1974, с. 58-79.
1973
• С.А.Романенко, Анд.В.Климов, В.Ф.Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. - М.:ИПМ АН СССР, 1973, препринт N 13. - 65 с.
1972
• Ан.В.Климов, С.А.Романенко, В.Ф.Турчин. Компилятор с языка Рефал. - М.:ИПМ АН СССР, 1972. - 74 с.
1970
• С.А.Романенко, В.Ф.Турчин. Алгоритм перевода текста на Рефале в текст на машинно-ориентированном языке. - В сб. "Тезисы докладов симпозиума по вопросам обработки символьной информации. 3-5 ноября." - Тбилиси: ВЦ АН Грузинской ССР, 1970. - с. 14.
• С.А.Романенко, В.Ф.Турчин. РЕФАЛ-компилятор. - В сб. "Труды 2-й Всесоюзной конференции по программированию. Заседание Б." - Новосибирск: ВЦ СОАН, 1970. - с.31-42.
1969
• С.Н.Флоренцев, В.Ю.Олюнин, С.А.Романенко, В.Ф.Турчин. Описание системы программирования РЕФАЛ. - М.:ИПМ АН СССР, 1969, препринт N 30. - 21 с.
|
