Karcev Vadim Sergeevitch

Publications in Math-Net.Ru

1. Static analysis of Visual Basic .NET language
   
   Proceedings of ISP RAS, 37:6(2) (2025),  37–52
2. Support of Visual Basic .NET in SharpChecker static analyzer
   
   Proceedings of ISP RAS, 36:3 (2024),  49–62
3. Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value
   
   Proceedings of ISP RAS, 34:6 (2022),  29–40