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

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

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