МЕТАВЫЧИСЛЕНИЯ, ФУНКЦИОНАЛЬНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ

2010 год

1. S.Меchveliani. "About the surface of real symmetric matrices with multiple eigenvalues". //Труды международной конференции " Polynomial Computer Algebra" под редакцией Н.Н.Васильева, Санкт-Петербург, апрель 2010 года, стр. 51-55
2. A.P. Nemytykh (Editor). Proceedings of Second International Workshop on Metacompu-tation in Russia, July 1-5 2010, Pereslavl-Zalessky, Russia, ISBN 978-5-901795-21-7. 186 pages, // Издательство "Университет города Переславля", г. Переславль-Залесский, 2010.
3. А.П. Лисица, А.П. Немытых. Об одном приложении вычислений с оракулом. // Ж. "Программирование". - Т.36. No. 3, 2010, стр: 43-54.
4. Lisitsa and A.P. Nemytykh. On One Application of Computations with Oracle, Programming and Computer Software, 2010, Vol. 36, No. 3, pp. 157-165. (c) Pleiades Publishing, Ltd., 2010, ISSN 0361-7688.

2009 год

1. Лисица А. П., Немытых А. П. 2009. Об одном приложении вычислений с оракулом. // Труды международной конференции "Программные системы: теория и приложения", ИПС РАН им. А.К. Айламазяна, г. Переславль-Залесский, май 2009 / Под редакцией С.М. Абрамова и С.В. Знаменского. Изд-во "Университет города Переславля", Т. 1, стр. 245-264 ISBN 978-5-901795-16-3

2008 год

1. Sergei Mechveliani. An Experience with Term Rewriting for Program Verification. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 119-130 ISBN 978-5-901795-12-5
2. Yuri A. Klimov and Anton Yu. Orlov XSG: Fair Language with Built-in Equality. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 85-93 ISBN 978-5-901795-12-5
3. Andrei P. Nemytykh. On the Place of Supercompilation inside Program Specialization. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 131-144 ISBN 978-5-901795-12-5
4. Alexei P. Lisitsa and Andrei P. Nemytykh. Verification as Specialization of Interpreters with Respect to Data. // Proceedings of the First International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008 / Edited by A.P. Nemytykh - Pereslavl Zalessky : Ailamazyan University of Pereslavl, 2008 pp. 94-112 ISBN 978-5-901795-12-5
5. Ю. А. Климов, А. Ю. Орлов, С. А. Романенко: Рефал Плюс в среде Eclipse. Программные системы: теория и приложения (к пятнадцатилетию УГП им. А. К. Айламазяна) // Сборник трудов научно-практической совместной конференции студентов, аспирантов, преподавателей и научных сотрудников Института программных систем Российской академии наук и «Университета города Переславля» им. А. К. Айламазяна, г.Переславль-Залесский, апрель 2008 / Под редакцией С. М. Абрамова и С. В. Знаменского. В двух томах. — Переславль-Залесский: Изд-во "Университет города Переславля", 2008. ISBN 978-5-901795-13-1, ISBN 978-5-901795-13-2. (Т. 1, с. 123-132)

2007 год

1. Немытых А.П., 2007 г. Суперкомпилятор SCP4: общая структура // Немытых А.П. М.: УРСС, 2007, 152 c., (Монография) ISBN: 978-5-382-00365-8
2. А.П. Лисица,  А.П. Немытых, 2007. Верификация как параметризованное тестирование (эксперименты с суперкомпилятором SCP4). Журнал "Программирование", No 1, стр.22-34, 2007 г., Индекс в общероссийском каталоге: 70763. ("Programming and Computer Software", ISSN
3. Lisitsa A.P., Nemytykh A.P.  2007. Reachability Analysis in Verification via Supercompilation , In Proc. of the Satellite Workshops of DTL 2007, TUCS General Publication, No. 45, Part 2, pp: 53-67, Eds: M. Hirvensalo, V. Halava, I. Potapov, K. Jarkko, Tur
4. Lisitsa A.P., Nemytykh A.P.  2007. A Note on Specialization of Interpreters , In Proc. of The 2-nd International Symposium on Computer Science in Russia, Lecture Notes in Computer Science, Vol. 4649, pp: 237-248, 2007.

2006 год

1. А.П. Лисица, А.П. Немытых. 2006. Работа над ошибками. Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, октябрь 2006, Наука,-Физматлит, М.. Т. 1, c. 195-232

2005 год

1. S. Mechveliani. 2005. Term rewriting, Equational reasoning, Automatic proofs. Pereslavl-Zalessky, 2005. См. book.ps в архиве dumatel-1.02.zip
2. Alexei Lisitsa, Andrei P. Nemytykh. 2005. Verification of parameterized systems using supercompilation. A case study. Proceedings of the Third Workshop on Applied Semantics (APPSEM05), Fraunchiemsee, Germany, 12-15 September 2005. Editors: Martin Hofmann, Hans-Wolfgang Loidl - Ludwig Maximillians Universitat Munchen, 2005.
3. А.П. Немытых. Суперкомпилятор SCP4: общая структура. Монография 175 страниц, 2005 - (подготовлена к публикации)

  2004 год

1. А. П. Немытых. 2004. Суперкомпилятор SCP4: общая структура.  Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский,  Т. 1, май 2004, Наука,-Физматлит, М.. c. 449-485
2. C. Д. Мешвелиани. 2004. Об исследовании по автоматизации вычислений и доказательств. В сборнике трудов ИПС "Программные системы: теория и приложения", Т. 1,  Москва, ФМ, 2004, стр. 487-507.
3. S. Mechveliani. 2004. From a computer algebra library to a system with an equational prover. In Proceedings of International Conference AISC-2004, edited by   J.A. Campbell and B. Buchberger, Linz, Austria, September 2004. LNAI, Volum 3249, pages 281-284, Springer Verlag, 2004.

4. С. М. Абрамов, А. Ю. Орлов. 2004. Компиляция в императивные языки синтаксического отождествления языка Рефал, Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, Т. 1, май 2004, Физматлит, М.. с. 403-448

5. Сергей Михайлович Абрамов, Антон Юрьевич Орлов, Любовь Валерьевна Парменова, Светлана Михайловна Пономарева, Андрей Феликсович Слепухин. 2004. Новый подход к реализации системы программирования Рефал Плюс, Proc.Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, Т. 1, май 2004, Наука,-Физматлит, М.. с. 373-401

2003 год

1. S. Mechveliani. 2003. The Haskell functional language and computer algebra. В сборнике "Математика, информатика: теория и приложения", труды ИПС и Университета г. Переславля-Залесского, стр. 56-64, Электронная копия расширенной статьи:
   ftp://ftp.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA2.ps.zip

2. 2003. Реализация языка программирования Рефал Плюс за счет прямой компиляции в императивный язык, Веб-сайт проекта, ИПС РАН, http://skif.pereslavl.ru/refal.