I 1 SCP 4 2007 152 2 SCP

Публикации-I [1] Немытых А. П. , Суперкомпилятор SCP 4: Общая структура. Монография. Издательство УРСС, Москва, 2007. 152 стр. [2] Лисица А. П. и Немытых А. П. , Верификация как параметризованное тестирование (Эксперименты с суперкомпилятором SCP 4). Журнал “Программирование”, № 1, стр. 22 -34, 2007. [3] Lisitsa A. P. and Nemytykh A. P. , Reachability Analysis in Verification via Supercompilation. International Journal of Foundation of Computer Science (IJFCS), Vol. 19, No. 4 (August 2008), pp. 953 -970, 2008. [4] Lisitsa A. P. , and Nemytykh A. P. , A Note on Specialization of Interpreters, Lecture Notes in Computer Science, Vol. 4649, pp. 237 -248, The Proc. of CSR’ 07, 2007. [5] Lisitsa A. P. and Nemytykh A. P. , Extracting Bugs from the Failed Proofs in Verification via Supercompilation, In: Tests and Proofs: Papers Presented at the Second International Conference TAP 2008, Italy, / Reports of the Faculty of Informatics, Univesitat Koblenz-Landau, No 5/2008, pp: 49 -65, 2008. 26

Публикации-II [6] Lisitsa A. P. , and Nemytykh A. P. , Verification as Specialization of Interpreters with Respect to Data. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 94 -112. 2008. [7] Nemytykh A. P. , On the Place of Supercompilation inside Program Specialization. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 131144, 2008. [8] Mechveliani S. D. , An Experience with Term Rewriting for Program Transformation. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 119130, 2008. [9] Mechveliani S. D. , A Predicate Calculus Prover Based on Completion and Boolean Term Algebra. Технический отчёт No 2006 -16 института RICAM Австрийской академии наук, г. Линц, Австрия, 2006. 27

Международное сотрудничество • The University of Liverpool, United Kingdom. • Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences, г. Линц. 28

Публикации-I [1] Немытых А. П. , Суперкомпилятор SCP 4: Общая структура. Монография. Издательство УРСС, Москва, 2007. 152 стр. [2] Лисица А. П. и Немытых А. П. , Верификация как параметризованное тестирование (Эксперименты с суперкомпилятором SCP 4). Журнал “Программирование”, № 1, стр. 22 -34, 2007. [3] Lisitsa A. P. and Nemytykh A. P. , Reachability Analysis in Verification via Supercompilation. International Journal of Foundation of Computer Science (IJFCS), Vol. 19, No. 4 (August 2008), pp. 953 -970, 2008. [4] Lisitsa A. P. , and Nemytykh A. P. , A Note on Specialization of Interpreters, Lecture Notes in Computer Science, Vol. 4649, pp. 237 -248, The Proc. of CSR’ 07, 2007. [5] Lisitsa A. P. and Nemytykh A. P. , Extracting Bugs from the Failed Proofs in Verification via Supercompilation, In: Tests and Proofs: Papers Presented at the Second International Conference TAP 2008, Italy, / Reports of the Faculty of Informatics, Univesitat Koblenz-Landau, No 5/2008, pp: 49 -65, 2008. 30

Публикации-II [6] Lisitsa A. P. , and Nemytykh A. P. , Verification as Specialization of Interpreters with Respect to Data. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 94 -112. 2008. [7] Nemytykh A. P. , On the Place of Supercompilation inside Program Specialization. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 131144, 2008. [8] Mechveliani S. D. , An Experience with Term Rewriting for Program Transformation. In: Proceedings of First International Workshop on Metacomputation in Russia, Pereslavl-Zalessky, Russia, July 2 -5, pp: 119130, 2008. [9] Mechveliani S. D. , A Predicate Calculus Prover Based on Completion and Boolean Term Algebra. Технический отчёт No 2006 -16 института RICAM Австрийской академии наук, г. Линц, Австрия, 2006. 31