?

Детальная информация
Таблица Карточка RUSMARC
Название: Разработка параметризированных типов с переменным набором параметров для языка Kotlin: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения
Авторы: Кирпиченков Павел Станиславович
Научный руководитель: Ицыксон Владимир Михайлович
Другие авторы: Новопашенный Андрей Гелиевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2019
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Программирования языки; параметрический полиморфизм; Kotlin; переменная арность
УДК: 004.438(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Магистратура
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
Ссылки: Отзыв руководителя; Рецензия; Отчет о проверке на объем и корректность внешних заимствований
DOI: 10.18720/SPBPU/3/2019/vr/vr19-529
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: ru\spstu\vkr\2483

Разрешенные действия: –

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Параметрический полиморфизм широко распространен в современных языках программирования, но лишь некоторые из них позволяют работать с переменным набором типовых параметров. В работе дается классификация видов полиморфизма и рассматриваются существующие языки программирования с поддержкой типовых параметров переменной размерности. Предлагается расширение синтаксиса для языка Kotlin, реализованное в прототипной версии компилятора. По результатам тестирования прототипа дается оценка возможностей и ограничений предложенного подхода.

Parametric polymorphism is widely present in modern programming languages, but only some of them support type parameters of variable arity. In this work we give a classification of polymorphism and make a review of how existing languages deal with variably-sized type parameters. We then suggest a syntax extension for Kotlin, that is implemented in a compiler prototype. We also give our evaluation of the new approach based on the testing results.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
-> Интернет Анонимные пользователи

Оглавление

  • ВВЕДЕНИЕ
  • 1. Полиморфизм в языках программирования
    • 1.1. Классификация видов полиморфизма
    • 1.2. Предпосылки для использования параметрического полиморфизма с переменным набором параметров
    • 1.3. Параметрический полиморфизм в С++
    • 1.4. Параметрический полиморфизм в D
    • 1.5. Параметрический полиморфизм в функциональных языках программирования
  • 2. Цели и задачи работы
    • 2.1. Цель работы
    • 2.2. Задачи работы
  • 3. Разработка синтаксиса переменного набора типовых параметров
    • 3.1. Особенности языка Kotlin
    • 3.2. Дизайн синтаксиса
  • 4. Разработка прототипа компилятора
    • 4.1. Архитектура компилятора
    • 4.2. Поддержка типизации в компиляторе Kotlin
    • 4.3. Изменения в синтаксическом разборе
    • 4.4. Изменения в статическом анализе
      • 4.4.1. Проверка типового параметра
      • 4.4.2. Вывод и хранение типовых аргументов
      • 4.4.3. Работа с индексированными типами
  • 5. Тестирование и оценка результатов
    • 5.1. Тестирование
    • 5.2. Оценка результатов и дальнейшее развитие
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
  • ПРИЛОЖЕНИЕ. ЛИСТИНГИ

Статистика использования

stat Количество обращений: 60
За последние 30 дней: 0
Подробная статистика