Афанасьев Виталий Олегович

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

1. Статический анализ для языка Scala
   
   Труды ИСП РАН, 36:3 (2024),  9–20
2. Статический анализ на основе обобщённого абстрактного синтаксического дерева
   
   Труды ИСП РАН, 35:6 (2023),  103–120
3. Статический анализатор для языков с обработкой исключений
   
   Труды ИСП РАН, 34:6 (2022),  7–28
4. Kotlin с точки зрения разработчика статического анализатора
   
   Труды ИСП РАН, 33:6 (2021),  67–82