Соболь, Валентин. Типы-уточнения и их вывод для языка программирования 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 | |
Год 2021 | Квартал 1 | 0 | 0 | 0 | 0 | 0 |
Квартал 2 | 2 | 0 | 5 | 0 | 7 | |
Квартал 3 | 0 | 0 | 2 | 0 | 2 | |
Квартал 4 | 2 | 0 | 0 | 0 | 2 | |
Год 2022 | Квартал 1 | 8 | 0 | 0 | 0 | 8 |
Квартал 2 | 0 | 0 | 1 | 0 | 1 | |
Квартал 3 | 0 | 0 | 0 | 0 | 0 | |
Квартал 4 | 0 | 0 | 0 | 0 | 0 | |
Год 2023 | Квартал 1 | 0 | 0 | 0 | 0 | 0 |
Квартал 2 | 9 | 0 | 10 | 0 | 19 | |
Квартал 3 | 0 | 0 | 0 | 0 | 0 | |
Квартал 4 | 1 | 0 | 0 | 0 | 1 | |
Всего | 23 | 0 | 19 | 0 | 42 |