Some publications are available in the format DjVu, which is especially convenient for distributing scanned documents. DjVu documents can be viewed with WinDjView & MacDjView or DJVIEW4.
Соколов С. М., Богуславский А. А., Романенко С. А. Программно-аппаратные средства для бортовых систем информационного обеспечения подвижных средств с использованием СТЗ // Известия ЮФУ. Технические науки. – 2020. – № 1(211). – С. 246-257. ISSN: 1999-9429.
doi: 10.18522/2311-3103-2020-1-246-257 eLibrary
Nikolai N. Nepejvoda, Ivan N. Grigorevsky, Andrei V. Klimov, Yuri A. Klimov, Sergei A. Romanenko. Computational Aspects of Various Number Representations // Test Engineering and Management. Volume 83 (May-June 2020), pp 28224–28231. ISSN: 0193-4120.
URL: http://www.testmagzine.biz/index.php/testmagzine/article/view/12901.
DOI: не присваивается
Непейвода Н.Н., Григоревский И.Н., Климов Анд.В., Климов Ю.А., Романенко С.А. Поразрядный параллелизм сложения действительных чисел за счет избыточности представления // Научный сервис в сети Интернет: труды XXII Всероссийской научной конференции (21-25 сентября 2020 г., онлайн). — М.: ИПМ им. М.В.Келдыша, 2020. — С. 486-498.
DOI: 10.20948/abrau-2020-54 eLibrary
Nikolai N. Nepejvoda, Ivan N. Grigorevskiy, Andrei V. Klimov, Yuri A. Klimov, Sergei A. Romanenko, and Artem B. Shvorin. Digit-Wise Parallelism of Additive Operations in Numeration Systems with Redundant Digits // Proceedings of the 22nd Conference on Scientific Services & Internet (SSI-2020) (September 21-25, 2020, online). — CEUR Workshop Proceedings, Vol. 2784, URL: http://ceur-ws.org/Vol-2784/. — CEUR-WS.org, 2020. — P. 211-220. — URL: http://ceur-ws.org/Vol-2784/rpaper17.pdf. — ISSN 1613-0073.
DOI: не присваивается
Анд.В. Климов, С.А. Романенко. Суперкомпиляция: основные принципы и базовые понятия // Препринты ИПМ им. М.В.Келдыша. 2018. № 111. С. 1–36. doi:10.20948/prepr-2018-111 link PDF eLibrary
С.А. Романенко. Суперкомпиляция: гомеоморфное вложение, вызов по имени, частичные вычисления // Препринты ИПМ им. М.В.Келдыша. 2018. № 209. С. 1-32. doi:10.20948/prepr-2018-209 link PDF eLibrary
Анд.В. Климов, С.А. Романенко. Краткая история суперкомпиляции в России // Языки программирования и компиляторы – 2017 : труды конференции / под ред. Д.В. Дуброва. – Ростов-на-Дону : Из-во Южного федерального университета, 2017. – С. 147–152. PDF eLibrary
С.А. Романенко. Рефал и Агда как воплощения идеи “метаалгоритмического языка” // Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18-23 сентября 2017 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2017. — С. 417-424 DOI: 10.20948/abrau-2017-63 eLibrary
Ilya G. Klyuchnikov, Sergei A. Romanenko. Supercompilation for Martin-Lof’s type theory. Programming and Computer Software, May 2015, Volume 41, Issue 3, pp 170–182. DOI: 10.1134/S0361768815030068 eLibrary
Original Russian Text © I.G. Klyuchnikov, S.A. Romanenko, 2015, published in Programmirovanie, 2015, Vol. 41, No. 3.
И.Г. Ключников, С.А. Романенко. Суперкомпиляция для теории типов Мартина-Лёфа. - Программирование №3, 2015. c.73-87. eLibrary
Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko. Staged multi-result supercompilation: filtering before producing. Keldysh Institute Preprints, (70), 2013. - 28 p. link PDF Agda code eLibrary
Ilya G. Klyuchnikov, Sergei A. Romanenko. TT Lite: a supercompiler for Martin-Löf’s type theory. Keldysh Institute Preprints, (73), 2013. - 28 p. link PDF Scala code eLibrary
Sergei Romanenko, Claudio Russo and Peter Sestoft. Moscow ML Owner’s Manual. Version 2.10, June 2013, 50 pages. PDF
И.Г. Ключников, С.А. Романенко. Суперкомпиляция высшего уровня как путь к метасистемному переходу. - Программирование №5, 2012, с.35-53. eLibrary
Ilya G. Klyuchnikov, Sergei A. Romanenko. Higher-level supercompilation as a metasystem transition. Programming and Computer Software, September 2012, Volume 38, Issue 5, pp 231–244. DOI=10.1134/S0361768812050027 eLibrary
Original Russian Text © I.G. Klyuchnikov, S.A. Romanenko, 2012, published in Programmirovanie, 2012, Vol. 38, No. 5.
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 eLibrary
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. link PDF Scala code eLibrary
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. link PDF Scala code eLibrary
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. link PDF slides Scala code eLibrary
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. link PDF slides Scala code eLibrary
Ilya Klyuchnikov and Sergei Romanenko. MRSC: a toolkit for building multi-result supercompilers. - Moscow: Keldysh Institute of Applied Mathematics, preprint 77, 2011. - 27 p. PDF eLibrary
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. PDF
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 eLibrary
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. PDF eLibrary
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. PDF slides
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. PDF slides ODP slides PDF
И.Г.Ключников, С.А.Романенко. SPSC: Суперкомпилятор на языке Scala. // Программные продукты и системы. 2009. №2 (86). ISSN 0236-235X - с. 74-80. PDF eLibrary
Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Рефал Плюс в среде Eclipse. Программные системы: теория и приложения (к пятнадцатилетию УГП им. А. К. Айламазяна) // Сборник трудов научно-практической совместной конференции студентов, аспирантов, преподавателей и научных сотрудников Института программных систем Российской академии наук и «Университета города Переславля» им. А. К. Айламазяна, г.Переславль-Залесский, апрель 2008 / Под редакцией С. М.Абрамова и С. В. Знаменского. В двух томах. - Переславль-Залесский: Изд-во “Университет города Переславля”, 2008. ISBN 978-5-901795-13-1, ISBN 978-5-901795-13-2. (Т. 1). - с. 123-132. PDF
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. PDF slides eLibrary
Р.Гурин, С.Романенко. Язык программирования Рефал Плюс. Курс лекций. Учебное пособие для студентов университета города Переславля. - Переславль-Залесский: “Университет города Переславля” им.А.К.Айламазяна, 2006. - 222 с. PDF eLibrary
There is a hypertext-style version of this book (translated to English):
Ruten Gurin, Sergei Romanenko. Refal Plus Reference Manual. - Moscow: 2006. PDF CHM HTML
Sergei Romanenko, Claudio Russo and Peter Sestoft. Moscow ML Language Overview. Version 2.00, June 2000, 24 pages. PDF
Sergei Romanenko, Claudio Russo and Peter Sestoft. Moscow ML Owner’s Manual. Version 2.00, June 2000, 35 pages. PDF
Sergei Romanenko, Claudio Russo and Peter Sestoft. Moscow ML Library Documentation. Version 2.00, June 2000, 170 pages. PDF.
Sergei Romanenko and Peter Sestoft. Moscow ML language overview. Version 1.43, April 1998. PDF
Sergei Romanenko and Peter Sestoft. Moscow ML owner’s manual. Version 1.43, April 1998. PDF
Р.Ф.Гурин, С.А.Романенко. Язык программирования Рефал Плюс. - М.:ИНТЕРТЕХ, 1991. - 183 с. PDF DJVU
This book has been translated to English:
Ruten Gurin, Sergei Romanenko. The Refal Plus Programming Language. - Moscow: INTERTEKH, 1991. PDF DJVU
С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. - М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт N 186. - 27 с. PDF DJVU
This preprint has been translated to English:
S.M.Abramov, S.A.Romanenko. How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal. - Moscow: M.V.Keldysh Institute of Applied Mathematics, preprint N 186. PDF
С.А.Романенко. Мета-мета-вычисления и специализация программ. - В сб.: Тезисы докладов Всесоюзной школы-семинара “Семиотические аспекты формализации интеллектуальной деятельности” в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.65-68. PDF DJVU
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. PDF DJVU
Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с. PDF DJVU
С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 191 с. PDF DJVU
С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Компиляция и исполнение Рефал-программ под управлением ПДО СВМ. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 35 с. PDF DJVU
С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Интерфейс Рефала и PL/I. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 79 с. PDF DJVU
С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 26. - 35 с. PDF DJVU
Ан.В.Климов, С.А.Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 71. - 32 с. PDF DJVU
С.А.Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с. PDF DJVU
С.А.Романенко. Прогонка для программ на Рефале-4. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с. PDF DJVU
С.А.Романенко. Применение смешанных вычислений к ассемблерам и загрузчикам. - М.:ИПМ АН СССР, 1983, препринт N 27. - 15 с. PDF DJVU
А.О.Лацис, Г.В.Лебедев, С.А.Романенко. БГП - Базовый Графический Пакет: функциональное описание. - М.:ИПМ АН СССР, 1983. - 51 с.
А.О.Лацис, С.А.Романенко. ГРАФОР-БГП: Интерактивная версия системы ГРАФОР. - М.:ИПМ АН СССР, 1983, препринт N 89. - 26 с.
А.О.Лацис, С.А.Романенко. БГП - Базовый Графический Пакет: реализация для комплекса БЭСМ-6 - T-1600. - М.:ИПМ АН СССР, 1983, препринт N 110. - 12 с.
С.А.Романенко. Подпрограммы обмена с лентами и барабанами БЭСМ-6 из программ, написанных на Фортране в мониторной системе “Дубна”. - М.:ИПМ АН СССР, 1978. - 12 с.
С.А.Романенко. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. - М.:ИПМ АН СССР, 1978. - 211 с. PDF PDF (LaTeX) DJVU
С.А.Романенко, М.Р.Ковтун, Арк.В.Климов, В.Л.Кистлеров. Мониторная система СЕКАЧ (описание и инструкция по использованию). - М.:ЦНИПИАСС, 1976. - 60 с.
А.Н.Ерохов, А.И.Илюшин, С.А.Романенко, Г.П.Хованская. Дополнительные возможности командного языка для запуска задач ЯУЗА. - М.:ИПМ АН СССР, 1976. - 16 с.
Анд.В. Климов, Л.В.Проворов, С.А.Романенко, Е.В.Травкина. РЕФАЛ в мониторной системе “Дубна” БЭСМ-6. Входной язык компилятора и запуск программ. - М.:ИПМ АН СССР, 1975, препринт N 8. - 71 с.
Климов Анд.В. , Романенко С.А. РЕФАЛ в мониторной системе “Дубна” БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. - М.:ИПМ АН СССР, 1975. - 86 с.
Анд.В.Климов, С.А.Романенко, Е.В.Травкина. Инструкция по работе с мониторной системой “РЕФАЛ” для БЭСМ-6 . - М.:ИПМ АН СССР, 1974. - 72 с.
С.А.Романенко, М.Р.Ковтун. Мониторная система “Секач”. - В сб. “Труды ЦНИПИАСС, вып. 4.” - М.:ЦНИПИАСС, 1974, с. 58-79. PDF DJVU
С.А.Романенко, В.Ф.Турчин. Алгоритм перевода текста на Рефале в текст на машинно-ориентированном языке. - В сб. “Тезисы докладов симпозиума по вопросам обработки символьной информации. 3-5 ноября.” - Тбилиси: ВЦ АН Грузинской ССР, 1970. - с. 14. PDF DJVU
С.А.Романенко, В.Ф.Турчин. РЕФАЛ-компилятор. - В сб. “Труды 2-й Всесоюзной конференции по программированию. Заседание Б.” - Новосибирск: ВЦ СОАН, 1970. - с.31-42. PDF DJVU