Publication: Прототипирование вычислительной среды с зависимыми типами для алгебраических задач
Дата
2024
Авторы
Аралов, А. А.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
В последние годы высокоуровневые промежуточные представления (ПП) становятся все более популярными в различных программных средствах. Они предоставляют преимущества, такие как оптимизированный код, взаимодействие с существующими диалектами и поддержка различных аппаратных платформ. Одновременно растет использование концепций функционального программирования. Однако в приложениях машинного обучения (ML) все еще недостаточно применяется развитая система типизации. Эта работа предлагает создать прототип новой вычислительной среды, которая объединит строгую систему типизации и эффективное использование аппаратных платформ с несколькими потоками через высокоуровневое промежуточное представление.
Описание
Уровень образования: бакалавриат; Код направления/специальности: 09.03.04; Группа: Б20-504
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Аралов, А. А. Прототипирование вычислительной среды с зависимыми типами для алгебраических задач : Выпускная квалификационная работа, бакалавриат, 09.03.04 / А. А. Аралов ; рук. работы Рословцев Владимир Владимир, 2024