Sergei Romanenko’s Publications –
Сергей Романенко: список публикаций

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.

2021

  • Соколов С. М., Богуславский А. А., Романенко С. А. Реализация алгоритмов обработки зрительных данных на бортовых вычислительных ресурсах // Робототехника и техническая кибернетика. – 2021. – Т. 9. – № 2. – С. 106-111. ISSN: 2310-5305.
    doi: 10.31776/RTCJ.9204 eLibrary

2020

  • Соколов С. М., Богуславский А. А., Романенко С. А. Программно-аппаратные средства для бортовых систем информационного обеспечения подвижных средств с использованием СТЗ // Известия ЮФУ. Технические науки. – 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

  • Анд.В. Климов, С.А. Романенко. Суперкомпиляция: основные принципы и базовые понятия // Препринты ИПМ им. М.В.Келдыша. 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 : труды конференции / под ред. Д.В. Дуброва. – Ростов-на-Дону : Из-во Южного федерального университета, 2017. – С. 147–152. PDF eLibrary

  • С.А. Романенко. Рефал и Агда как воплощения идеи “метаалгоритмического языка” // Научный сервис в сети Интернет: труды XIX Всероссийской научной конференции (18-23 сентября 2017 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2017. — С. 417-424 DOI: 10.20948/abrau-2017-63 eLibrary

2015

  • 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

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. link PDF slides Agda code eLibrary

2013

  • 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

2012

  • И.Г. Ключников, С.А. Романенко. Суперкомпиляция высшего уровня как путь к метасистемному переходу. - Программирование №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

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. 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

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 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

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. 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

2008

  • Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Рефал Плюс в среде 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

2007

  • Ю.А.Климов, А.Ю.Орлов, С.А.Романенко. Язык Рефал Плюс на платформе Java. В сб. Всероссийская научная конференция “Научный сервис в сети ИНТЕРНЕТ: многоядерный компьютерный мир. 15 лет РФФИ”. - М.: Изд-во МГУ, 2007, c. 207–209. PDF eLibrary

2006

  • Р.Гурин, С.Романенко. Язык программирования Рефал Плюс. Курс лекций. Учебное пособие для студентов университета города Переславля. - Переславль-Залесский: “Университет города Переславля” им.А.К.Айламазяна, 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

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. (ISBN 978-3-540-20813-6) DOI=10.1007/978-3-540-39866-0_19 eLibrary

2000

  • 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.

1998

  • 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

  • Р.Ф.Гурин, С.А.Романенко. Язык программирования Рефал Плюс. - М.:ИНТЕРТЕХ, 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

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. DOI=10.1007/3-540-52592-0_73 PDF DJVU eLibrary

1988

  • С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. - М.:ИПМ им.М.В.Келдыша АН СССР, 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

1987

  • Ан.В.Климов, С.А.Романенко. Система программирования Рефал-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

1986

  • Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с. PDF DJVU

1983

  • С.А.Романенко. Применение смешанных вычислений к ассемблерам и загрузчикам. - М.:ИПМ АН СССР, 1983, препринт N 27. - 15 с. PDF DJVU

  • А.О.Лацис, Г.В.Лебедев, С.А.Романенко. БГП - Базовый Графический Пакет: функциональное описание. - М.:ИПМ АН СССР, 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 с. PDF PDF (LaTeX) DJVU

1977

  • Анд.В.Климов, Арк.В.Климов, А.Г.Красовский, С.А.Романенко, Е.В.Травкина, В.Ф.Турчин, В.Ф.Хорошевский, И.Б.Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли “Строительство”), специальный раздел, vol. 5, N 40. Москва, 1977. - 258 с. PDF DJVU

1976

  • С.А.Романенко, М.Р.Ковтун, Арк.В.Климов, В.Л.Кистлеров. Мониторная система СЕКАЧ (описание и инструкция по использованию). - М.:ЦНИПИАСС, 1976. - 60 с.

  • А.Н.Ерохов, А.И.Илюшин, С.А.Романенко, Г.П.Хованская. Дополнительные возможности командного языка для запуска задач ЯУЗА. - М.:ИПМ АН СССР, 1976. - 16 с.

1975

  • Анд.В. Климов, Л.В.Проворов, С.А.Романенко, Е.В.Травкина. РЕФАЛ в мониторной системе “Дубна” БЭСМ-6. Входной язык компилятора и запуск программ. - М.:ИПМ АН СССР, 1975, препринт N 8. - 71 с.

  • Климов Анд.В. , Романенко С.А. РЕФАЛ в мониторной системе “Дубна” БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. - М.:ИПМ АН СССР, 1975. - 86 с.

1974

  • Анд.В.Климов, С.А.Романенко, Е.В.Травкина. Инструкция по работе с мониторной системой “РЕФАЛ” для БЭСМ-6 . - М.:ИПМ АН СССР, 1974. - 72 с.

  • С.А.Романенко, М.Р.Ковтун. Мониторная система “Секач”. - В сб. “Труды ЦНИПИАСС, вып. 4.” - М.:ЦНИПИАСС, 1974, с. 58-79. PDF DJVU

1973

  • С.А.Романенко, Анд.В.Климов, В.Ф.Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. - М.:ИПМ АН СССР, 1973, препринт N 13. - 65 с. PDF DJVU

1972

  • Ан.В.Климов, С.А.Романенко, В.Ф.Турчин. Компилятор с языка Рефал. - М.:ИПМ АН СССР, 1972. - 74 с.

1970

  • С.А.Романенко, В.Ф.Турчин. Алгоритм перевода текста на Рефале в текст на машинно-ориентированном языке. - В сб. “Тезисы докладов симпозиума по вопросам обработки символьной информации. 3-5 ноября.” - Тбилиси: ВЦ АН Грузинской ССР, 1970. - с. 14. PDF DJVU

  • С.А.Романенко, В.Ф.Турчин. РЕФАЛ-компилятор. - В сб. “Труды 2-й Всесоюзной конференции по программированию. Заседание Б.” - Новосибирск: ВЦ СОАН, 1970. - с.31-42. PDF DJVU

1969

  • С.Н.Флоренцев, В.Ю.Олюнин, С.А.Романенко, В.Ф.Турчин. Описание системы программирования РЕФАЛ. - М.:ИПМ АН СССР, 1969, препринт N 30. - 21 с. PDF DJVU