Кропачева Мария Сергеевна

Публикации в базе данных Math-Net.Ru

1. Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования
   
   Модел. и анализ информ. систем, 19:5 (2012),  81–99
2. Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах
   
   Модел. и анализ информ. систем, 19:4 (2012),  48–58