Dvortsova Varvara Viktorovna

Publications in Math-Net.Ru

1. Static analysis of Golang source code: a survey
   
   Proceedings of ISP RAS, 37:6(1) (2025),  59–82
2. Static analysis of Go maps
   
   Proceedings of ISP RAS, 36:3 (2024),  21–34
3. Static analysis for languages with exception handling
   
   Proceedings of ISP RAS, 34:6 (2022),  7–28