|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Реализация классов типов в языках программирования, поддерживающих рефлексиюдипломная работа (Специалист)
- Научный руководитель: Головин И.Г.
- Автор: Милованов В. В.
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2012
- Аннотация: Работа посвящена разработке поддержки классов типов для объектно-ориентированных систем разработки программного обеспечения на примере платформы .NET и языка F#. Был предложен формат описания классов типов в объектно-ориентированных системах разработки с помощью классов, интерфейсов и атрибутов (аннотаций в Java). Была реализована библиотека для платформы .NET, создающая экземпляры классов типов по их описанию и множеству типов-аргументов. Библиотека поддерживает классы типов высших порядков. Также была реализована утилита, проверяющая соответствие типов при работе с библиотекой поддержки классов типов. Для демонстрации возможностей выбранного подхода был модифицирован компилятор языка F#: добавлены новые синтаксические конструкции, а существующая семантика расширена для упрощения доступа к возможностям библиотеки
- Добавил в систему: Головин Игорь Геннадьевич