|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2025 |
| 1. |
В. О. Афанасьев, А. Е. Бородин, Е. А. Велесевич, Б. В. Орлов, “Аннотирование исходного кода для статического анализа”, Труды ИСП РАН, 37:6(1) (2025), 135–148  |
|
2024 |
| 2. |
В. О. Афанасьев, А. Е. Бородин, А. А. Белеванцев, “Статический анализ для языка Scala”, Труды ИСП РАН, 36:3 (2024), 9–20 |
|
2023 |
| 3. |
В. О. Афанасьев, А. Е. Бородин, К. И. Вихлянцев, А. А. Белеванцев, “Статический анализ на основе обобщённого абстрактного синтаксического дерева”, Труды ИСП РАН, 35:6 (2023), 103–120 |
|
2022 |
| 4. |
В. О. Афанасьев, В. В. Дворцова, А. Е. Бородин, “Статический анализатор для языков с обработкой исключений”, Труды ИСП РАН, 34:6 (2022), 7–28 |
1
|
|
2021 |
| 5. |
В. О. Афанасьев, С. А. Поляков, А. Е. Бородин, А. А. Белеванцев, “Kotlin с точки зрения разработчика статического анализатора”, Труды ИСП РАН, 33:6 (2021), 67–82 |
1
|
|
