Afanasyev Vitaly Olegovich

Publications in Math-Net.Ru

1. Source code annotation for static analysis
   
   Proceedings of ISP RAS, 37:6(1) (2025),  135–148
2. Static analysis for Scala
   
   Proceedings of ISP RAS, 36:3 (2024),  9–20
3. Static analysis based on the unified abstract syntax tree
   
   Proceedings of ISP RAS, 35:6 (2023),  103–120
4. Static analysis for languages with exception handling
   
   Proceedings of ISP RAS, 34:6 (2022),  7–28
5. Kotlin from the perspective of a static analyzer developer
   
   Proceedings of ISP RAS, 33:6 (2021),  67–82