Afanasyev Vitaly Olegovich

Publications in Math-Net.Ru

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