?

Детальная информация
Таблица Карточка RUSMARC
Название: Реализация механизма классов типов в языке программирования Kotlin: магистерская диссертация: 09.04.01
Авторы: Хандыго Евгений Дмитриевич
Научный руководитель: Ицыксон Владимир Михайлович
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2017
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Программирования языки; Вычислительные машины электронные — Программирование объектно-ориентированное; полиморфизм
УДК: 004.438(043.3); 004.42.045(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Магистратура
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-4123
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Ключ записи: RU\SPSTU\edoc\45046

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

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

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

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

Аннотация

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

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

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

Оглавление

  • ВВЕДЕНИЕ
  • 1. Обзор существующих решений
    • 1.1. Классы типов в Haskell
    • 1.2. Классы типов в Scala
    • 1.3. Классы типов в C++
    • 1.4. Выводы
  • 2. Постановка задачи
    • 2.1. Введение семантики классов типов
    • 2.2. Выбор инструментальных средств реализации
  • 3. Детали реализации
    • 3.1. Внутреннее устройство компилятора языка программирования Kotlin
    • 3.2. Разработка прототипа механизма классов типов
    • 3.3. Реализация прототипа механизма классов типов
    • 3.4. Модификация прототипа механизма классов типов
  • 4. Апробация
    • 4.1. Анализ разработанного решения
    • 4.2. Тестирование
      • 4.2.1. Автоматическое тестирование
      • 4.2.2. Ручное тестирование
  • ЗАКЛЮЧЕНИЕ
  • СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

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

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