Соболь, Валентин. Типы-уточнения и их вывод для языка программирования 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. — Текст
| Period | Read | Copy | Open | Total | |||
|---|---|---|---|---|---|---|---|
| Year 2020 | Quarter 3 | September | 1 | 0 | 1 | 0 | 2 |
| Quarter 4 | October | 0 | 0 | 0 | 0 | 0 | |
| November | 0 | 0 | 0 | 0 | 0 | ||
| December | 0 | 0 | 0 | 0 | 0 | ||
| Year 2021 | Quarter 1 | January | 0 | 0 | 0 | 0 | 0 |
| February | 0 | 0 | 0 | 0 | 0 | ||
| March | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 2 | April | 0 | 0 | 1 | 0 | 1 | |
| May | 1 | 0 | 4 | 0 | 5 | ||
| June | 1 | 0 | 0 | 0 | 1 | ||
| Quarter 3 | July | 0 | 0 | 1 | 0 | 1 | |
| August | 0 | 0 | 0 | 0 | 0 | ||
| September | 0 | 0 | 1 | 0 | 1 | ||
| Quarter 4 | October | 1 | 0 | 0 | 0 | 1 | |
| November | 1 | 0 | 0 | 0 | 1 | ||
| December | 0 | 0 | 0 | 0 | 0 | ||
| Year 2022 | Quarter 1 | January | 7 | 0 | 0 | 0 | 7 |
| February | 1 | 0 | 0 | 0 | 1 | ||
| March | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
| May | 0 | 0 | 1 | 0 | 1 | ||
| June | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
| August | 0 | 0 | 0 | 0 | 0 | ||
| September | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 4 | October | 0 | 0 | 0 | 0 | 0 | |
| November | 0 | 0 | 0 | 0 | 0 | ||
| December | 0 | 0 | 0 | 0 | 0 | ||
| Year 2023 | Quarter 1 | January | 0 | 0 | 0 | 0 | 0 |
| February | 0 | 0 | 0 | 0 | 0 | ||
| March | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 2 | April | 0 | 0 | 0 | 0 | 0 | |
| May | 9 | 0 | 1 | 0 | 10 | ||
| June | 0 | 0 | 9 | 0 | 9 | ||
| Quarter 3 | July | 0 | 0 | 0 | 0 | 0 | |
| August | 0 | 0 | 0 | 0 | 0 | ||
| September | 0 | 0 | 0 | 0 | 0 | ||
| Quarter 4 | October | 0 | 0 | 0 | 0 | 0 | |
| November | 1 | 0 | 0 | 0 | 1 | ||
| December | 0 | 0 | 0 | 0 | 0 | ||
| Total | 23 | 0 | 19 | 0 | 42 | ||