Эксоцман
на главную поиск contacts

Исследование и реализация функционально-логической парадигмы программирования с использованием формализма направленных отрошений

Опубликовано на портале: 24-05-2003
Москва, 1998
Организация: Московский государственный инженерно-физический институт (МИФИ)
Подтип: Кандидатские
Тематические разделы: Менеджмент, Бизнес-информатика / информационный менеджмент
Номер совета: Д 053.03.08

Aннотация:
Работа посвящена разработке языка и системы программирования, объединяющих преимущества функционального и логического программирования. Достоинства функционального программирования объясняются близостью функциональных языков к общепринятой математической нотации, возможностью строгого описания семантики зыков, высокой степенью абстракции, а также тем, что функциональные программы обладают естественным внутренним параллелизмом. Предложена математическая модель языка функционально-логического программирования с использованием формализма направленных отношений. Разработан язык функционально-логического программирования FLOGOL, предназначенный для алгебраических вычислений, решения комбинаторных проблем, символьной обработки данных и рядя задач искусственного интеллекта. На основе разработанного языка FLOGOL реализована интегрированная система программирования, включающая средства разработки и исполнения функционально-логических программ, встроенный редактор текстов и другие подсистемы, выполняющие вспомогательные функции.

Ключевые слова

См. также:
Маркус Энтони
Форсайт. 2007.  Т. 1. № 4. С. 4-18. 
[Статья]
Елена Александровна Тарханова, Елена Чижевская, Наталья Бабурина
Journal of Institutional Studies (Журнал институциональных исследований). 2018.  Т. 10. № 4. С. 145-155. 
[Статья]
[Статья глоссария]
[Статья глоссария]
[Статья глоссария]
Александр Генрихович Сергеев, Александр Васильевич Соколов
Форсайт. 2007.  Т. 1. № 4. С. 19. 
[Статья]