Дворцова Варвара Викторовна

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

1. Статический анализ исходного кода для языка Golang: обзор литературы
   
   Труды ИСП РАН, 37:6(1) (2025),  59–82
2. Статический анализ ассоциативных массивов в Go
   
   Труды ИСП РАН, 36:3 (2024),  21–34
3. Статический анализатор для языков с обработкой исключений
   
   Труды ИСП РАН, 34:6 (2022),  7–28