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

• Автор: Карпова, Наталья Николаевна
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 1998
• Место защиты: Москва
• Количество страниц: 159 с.

1. Анализ языков и систем функционального, логического и реляционного программирования.

1.1. Анализ современных стилей программирования.

1.2. Анализ языков и систем функционального программирования

1.2.1. Продукционные языки

1.2.2. Лямбдаоснованные языки.

1.2.2.1. i.
1.2.2.2.

1.2.2.3. Норс

1.2.2.4. i.

1.2.3. Языки композиционного программирования.

1.2.3.1. Переход к композиционному программированию, язык .

1.2.3.2. Язык функциональных схем
1.2.3.3.
1.2.3.4. система.
1.2.3.5. 2
1.2.4. Типизация в языках функционального программирования.
1.2.4.1. Теории типов
1.2.4.2. Реализационный аспект типизации языков программирования.
1.3. Анализ языков и систем логического программирования
1.3.1. Пролог.
1.3.2. Дейталог.
1.4. Анализ языков и систем реляционного программирования.
1.4.1. Выражение запросов реляционной алгебры с использованием языка i
1.4.2. i
1.5. Цель и задачи диссертационной работы.
Выводы
2. Язык . Формализм направленных отношений как основа построения языка
2.1. Формализм направленных отношений.
2.1.1. Направленное отношение как математический объект.
2.1.2. Основные понятия аппарата направленных отношений.
2.1.3. Языки схем отношений.
2.1.4. Композиция ботношений
2.1.5. Классы ботношений
2.1.6. Исчисления включения и эквивалентности схем ботношений.
2.2. Синтаксис языка РЬОСЮЬ
2.2.1. Задачи создания языка и требования к его реализации.
2.2.2. Базовые конструкции языка.
2.2.3. Операции композиции отношений.
2.2.4. Структура программы.
2.3. Программирование на языке РЬСЮОЬ.
2.4. Язык запросов как подмножество языка РЬСЮОЬ
Выводы
3. Структура программ и особенности программирования на языке РЬОСОЬ
3.1. Средства модульной организации программ.
3.2. Схемное задание отношений
3.3. Механизм видимости имен.
3.4. Контроль типов
Выводы
4. Реализация языка программирования РЬОСЮЬ.
4.1. Архитектура интегрированной системы функциональнологического программирования и проектирования программ.
4.2. Разработка и исполнение программ с использованием интегрированной среды пршраммирования
4.3. Компиляция программ
4.3.1. Внутреннее представление.
4.4. Исполнение функциональнологических программ.
4.5. Перспективы развития системы. Интеграция языка РЬСЮОЬ с языками
процедурного программирования.
Выводы
Заключение
Список литературы


Как показывает практика, существует мало задач, для решения которых достаточно использовать какойлибо один чистый стиль нрораммирования. Многоплановость реальных задач требует комплексного подхода к их решению и соответствующих и подходящих для представления данных задач средств. В связи с этим сравнительно небольшое число языков программирования являются представителями чистых стилей. В большинстве из них имеет место объединение стилей. Большое распространение и развитие получило объединение процедурного и объектноориентированного стилей прораммирования в таких языках как и
i . Неймановских машинах может оказаться весьма затруднительным. Каждое из этих свойств обусловлено неотъемлемо присущей функциональным языкам математической природой конструкции функциональных программ являются действительно чистыми математическими функциями, описывающими преобразование входных значений в выходные и не касающимися контекста, в котором они применяются. Эта особенность притягательна тем, что функциональные программы являются своего рода иерархическими спецификациями, так часто употребляемыми в работах по технологии программирования. В то же время вследствие того, что можно обратиться к обычному математическому аппарату, формальное манипулирование функциональными программами выполняется относительно просто как при установлении их свойств, так и при преобразовании программ в более эффективные формы. Учитывая вышеизложенные особенности функциональных языков, перспективным направлением исследования в области программирования является объединение функционального и других стилей.