Соболь, Валентин. Типы-уточнения и их вывод для языка программирования Kotlin: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» = Refinement types and their inference for Kotlin programming language / В. Соболь; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; научный руководитель В. М. Ицыксон ; консультант по нормоконтролю А. Г. Новопашенный ; консультант М. Х. Ахин. — Санкт-Петербург, 2020. — 1 файл (1,0 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/vr20-771.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-o.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-r.pdf>. — <URL:http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-771-a.pdf>. — DOI 10.18720/SPBPU/3/2020/vr/vr20-771. — Текст
| Период | Чтение | Печать | Копирование | Открытие | Итого | ||
|---|---|---|---|---|---|---|---|
| Год 2020 | Квартал 3 | Сентябрь | 1 | 0 | 1 | 0 | 2 |
| Квартал 4 | Октябрь | 0 | 0 | 0 | 0 | 0 | |
| Ноябрь | 0 | 0 | 0 | 0 | 0 | ||
| Декабрь | 0 | 0 | 0 | 0 | 0 | ||
| Год 2021 | Квартал 1 | Январь | 0 | 0 | 0 | 0 | 0 |
| Февраль | 0 | 0 | 0 | 0 | 0 | ||
| Март | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 2 | Апрель | 0 | 0 | 1 | 0 | 1 | |
| Май | 1 | 0 | 4 | 0 | 5 | ||
| Июнь | 1 | 0 | 0 | 0 | 1 | ||
| Квартал 3 | Июль | 0 | 0 | 1 | 0 | 1 | |
| Август | 0 | 0 | 0 | 0 | 0 | ||
| Сентябрь | 0 | 0 | 1 | 0 | 1 | ||
| Квартал 4 | Октябрь | 1 | 0 | 0 | 0 | 1 | |
| Ноябрь | 1 | 0 | 0 | 0 | 1 | ||
| Декабрь | 0 | 0 | 0 | 0 | 0 | ||
| Год 2022 | Квартал 1 | Январь | 7 | 0 | 0 | 0 | 7 |
| Февраль | 1 | 0 | 0 | 0 | 1 | ||
| Март | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 2 | Апрель | 0 | 0 | 0 | 0 | 0 | |
| Май | 0 | 0 | 1 | 0 | 1 | ||
| Июнь | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 3 | Июль | 0 | 0 | 0 | 0 | 0 | |
| Август | 0 | 0 | 0 | 0 | 0 | ||
| Сентябрь | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 4 | Октябрь | 0 | 0 | 0 | 0 | 0 | |
| Ноябрь | 0 | 0 | 0 | 0 | 0 | ||
| Декабрь | 0 | 0 | 0 | 0 | 0 | ||
| Год 2023 | Квартал 1 | Январь | 0 | 0 | 0 | 0 | 0 |
| Февраль | 0 | 0 | 0 | 0 | 0 | ||
| Март | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 2 | Апрель | 0 | 0 | 0 | 0 | 0 | |
| Май | 9 | 0 | 1 | 0 | 10 | ||
| Июнь | 0 | 0 | 9 | 0 | 9 | ||
| Квартал 3 | Июль | 0 | 0 | 0 | 0 | 0 | |
| Август | 0 | 0 | 0 | 0 | 0 | ||
| Сентябрь | 0 | 0 | 0 | 0 | 0 | ||
| Квартал 4 | Октябрь | 0 | 0 | 0 | 0 | 0 | |
| Ноябрь | 1 | 0 | 0 | 0 | 1 | ||
| Декабрь | 0 | 0 | 0 | 0 | 0 | ||
| Всего | 23 | 0 | 19 | 0 | 42 | ||