Васильев Владимир Сергеевич

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

1. Трансформация функционально-потоковых параллельных программ в императивные
   
   Модел. и анализ информ. систем, 28:2 (2021),  198–214
2. Оптимизация инварианта цикла в языке Пифагор
   
   Модел. и анализ информ. систем, 25:4 (2018),  347–357
3. Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ
   
   Труды ИСП РАН, 29:5 (2017),  165–184