Библиотека » Информационные Технологии » Языки программирования
Выбор языка высокого уровня для реализации вычислительного приложения ИИС "Шлаковые расплавы"
Григорьева М.А., Воронова Л.И., Григорьева М.А., Воронова Л.И. Выбор языка высокого уровня для реализации вычислительного приложения ИИС "Шлаковые расплавы" // Международный журнал....
How to Use Vectors for Representing Ground Expressions in the Implementations of the Language Refal
Sergei M. Abramov and Sergei A. Romanenko, 1988-11-24
SPSC: a Simple Supercompiler in Scala
Ilya Klyuchnikov and Sergei Romanenko, International Workshop on Program Understanding 19-23 June, Altai Mountains, Russia. Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 5-17..
Суперкомпилятор на языке Scala
И.Г.Ключников, С.А.Романенко, Программные продукты и системы. 2009. №2 (86). ISSN 0236-235X - с. 74-80..
Higher-Order Functions as a Substitute for Partial Evaluation (A Tutorial).
Sergei A. Romanenko, 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,....
Arity raiser and its use in program specialization
S. A. Romanenko, S. A. Romanenko. Arity Raiser and its Use in Program Specialization. In Proceedings of the Third European Symposium on Programming on ESOP '90 (Copenhagen, Denmark). N. Jones, Ed. Springer-Verlag New York, New York, NY, 341-360..
A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure
Sergei A. Romanenko, 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..
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
Ilya Klyuchnikov, Sergei Romanenko, 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.....
Correct C# Grammar too Sharp for ISO
Vadim Zaytsev, V. V. Zaytsev. Correct C# Grammar too Sharp for ISO. In Proceedings of the International Summer School on Generative and Transformational Techniques in Software Engineering, Part II, Participants Workshop, pages 154–155, Braga, Portugal, July 2005. Extended abstract..
