Публикации

Publications

2008

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

S. Mechveliani. 2005. Term rewriting, Equational reasoning, Automatic proofs. Pereslavl-Zalessky, 2005. См. book.ps в архиве dumatel-1.02.zip
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.

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.

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