» Personal scientific profile on free domain
» Facilities for research groups
» Public library of papers
» Scientific conferences announcements
» Ads-free profile page
» Share a papers with colleagues

Community

M.Sc, Ph.D(Organic Chemistry)
Master of Science
postgraduate
магистр
Master of Science
B.E., M.Tech., Ph.D.,
Student
к.полит.н.

Latest publications

Arity raiser and its use in program specialization
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
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 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.
more publications

New Discussions

 

Upcoming conferences

more conferences

New grants

more grants

New Course Materials

Санскрит
Список наиболее часто используемых лигатур
more courses