Publication: Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры
| dc.contributor.advisor | Рословцев Владимир Владимирович | |
| dc.contributor.author | Ерилин, Н. В. | |
| dc.date.accessioned | 2025-02-13T09:16:06Z | |
| dc.date.available | 2025-02-13T09:16:06Z | |
| dc.date.issued | 2015 | |
| dc.description | Уровень образования: специалитет; Код направления/специальности: 010501; Группа: К10-221 | |
| dc.description.abstract | Ключевые слова: редукция аппликативных выражений, абстрактная машина, компиляция, ленивые вычисления, метаданные, лямбда-исчисление, комбинаторная логика, система изучения, сервис-ориентированная архитектура, компонент, сервис-комбинатор, аппликативная предструктура. Целью данной работы является разработка технологии проектирования распределенных приложений на основе сервис-ориентированной архитектуры и реализация системы изучения комбинаторных техник редукции аппликативных выражений. В первой главе проводится обзор и анализ проблематики моделирования и редукции аппликативных выражений, способов редукции аппликативных выражений, сравнительный анализ существующих абстрактных машин вычисления аппликативных выражений, существующие подходы и технологии модульной реализации приложений. Во второй главе описываются использованные и разработанные алгоритмы компиляции программного кода в код абстрактной машины, разрабатывается модель компонентной организации системы, приводится разработанная аппликативная предструктура для формирования сервисных объектов системы. В третьей главе приводится описание программной реализации и экспериментальной проверки разработанной системы. Приложения содержат прокомментированные фрагменты исходного кода. | |
| dc.identifier.citation | Ерилин, Н. В. Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры : Выпускная квалификационная работа, специалитет, 010501 / Н. В. Ерилин ; рук. работы Рословцев Владимир Владимирович, 2015 | |
| dc.identifier.uri | https://openrepository.mephi.ru/handle/123456789/36079 | |
| dc.language | ru | ru |
| dc.subject | ВКР | |
| dc.subject | Выпускная квалификационная работа | |
| dc.title | Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры | |
| dc.type | ВКР | |
| dspace.entity.type | Publication |