Оглавление
1. ЯЗЫКИ И СИСТЕМЫ ДЕКЛАРАТИВНОГО ПРОГРАММИРОВАНИЯ 1.1.Основные парадигмы программирования
1.1.1. Ихмперативная парадигма
1.1.2. Декларативная парадигма
1.1.2.1. Функциональное программирование
1.1.2.2. Логическое программирование
1.1.2.3. Функциональнологическое программирование
1.2.Методы описания синтаксиса и семантики
языков программирования.
1.2.1. Описание синтаксиса языков программирования
1.2.1.1. Форма БэкусаНаура.
1.2.1.2. Синтаксические диаграммы.
1.2.1.3. Синтаксический анализ
1.2.2. Методы описания семантики языков программирования
1.2.2.1. Статическая семантика
1.2.2.2. Динамическая семантика.
1.3.Интегрированные среды разработки программ
1.3.1. Средства текстового построения программ
1.3.2. Графическое программирование.
1 АОсновные формы реализации языков программирования.
1.4.1. Компиляция.
1.4.2. Интерпретация
1.4.3. Смешанная форма
1.5.Выбор программных средств для реализации СФЛП
Основные результаты и выводы.
2. ЯЗЫК ФУНКЦИОНАЛЬНОЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
БРХЮОЬ.
2.1.Теория направленных отношений НО.
2.1.1. Основные понятия
2.1.2. Языки схем направленных отношений.
2.1.2.1. Принципы построения.
2.1.2.2. Комбинаторные константы.
2.1.2.3. Операции композиции НО
2.1.3. Сетевое представления схем направленных отношений.
2.1.3.1. Основные определения
2.1.3.2. Графическая нотация.
2.1.3.3. Элементарные сети и композиции сетей
2.1.3.4. Сетевая грамматика и сетевой язык.
2.2.Язык функциональнологического программирования
2.2.1. Принципы построения.
2.2.2. Основные элементы и особенности языка
2.2.2.1. Модульная структура.
.2.2. Способы описаний направленных отношений.
2.3.Входной язык системы функциональнологического программирования
2.3.1. Общая характеристика и система ограничений
2.3.2. Формальное семантики языка .
2.3.2.1. Основные принципы описания семантики
2.3.2.2. Семантика выражений.
2.3.2.3. Семантика синтаксических конструкций языка
2.3.2.4. Семантика многомодульных запросов.
Основные результаты и выводы
3. КОМПИЛЯТОР ЗАПРОСОВ ПРОГРАММ НА ЯЗЫКЕ
3.1.Цель, задачи и стадии компиляции
3.1.1. Предварительная стадия компиляции.
3.1.2. Основная стадия компиляции
3.1.3. Заключительная стадия компиляции
3.2.Принципы формирования ЛПК
3.2.1. Метод конструктивного построения КССГ
3.2.2. Управляющие правила компиляции.
3.3.Методы формирования сетевых определений НО.
3.3.1. Язык описания сетевого представления iI.
3.3.2. Конструктивное построение сетей
3.3.3. Формирование определений для вызова НО.
3.4.Правила компиляции основных конструкций языка
3.4.1. Вычисление имени отношения.
3.4.2. Компиляция выражений.
3.5.Компиляция многомодульных запросов
З.б.Оптимизационные модификации методов компиляции запроса
3.6.1. Оптимизация компиляции многомодульных запросов
3.6.2. Оптимизация получения спецификатора.
3.7.Особенности реализации компилятора запросов СФЛП
3.7.1. Технологический процесс компиляции в СФЛП.
3.7.2. Индикация хода выполнения компиляции запроса
3.7.3. Компиляция системных отношений
3.7.4. Редукция имен скомпилированных отношений
Основные результаты и выводы
4. СТРУКТУРНООРИЕНТИРОВАННЫЙ РЕДАКТОР СФЛП
4.1.Технология дедуктивного построения программ ТДПП
4.2.0сновные задачи ТДПП
4.3.Теоретические основы и базовые операции ТДПП
4.3.1. Основные определения
4.3.2. Синтаксическая корректность программ
4.3.3. Структурное представление программы.
4.3.4. Основные технологические операции ТДПП
4.4.Специализированные технологические операции ТДПП
4.4.1. Операции работы с опциональными символами
4.4.2. Операции работы со списками
4.4.3. Операции построения выражений
4.4.4. Ручной ввод
4.4.5. Использование дерева объектов
4.4.6. Работа с буферами обмена.
4.5.Отображение текста программы.
4.5.1. Стилистическое оформление
4.5.2. Автоматическое структурирование текста программы.
4.5.3. Изменение детализации отображения программы
4.6.Структурноориентированный редактор
4.6.1. Принципы построения и архитектура редактора
4.6.2. Интерфейс редактора
4.6.3. Инструменты общего назначения
4.6.4. Расширенный режим работы курсора.
4.6.5. Специализированные инструменты.
4.6.6. Построение программы при помощи клавиатуры.
4.6.7. Компиляция запросов
Основные результаты и выводы.
ЗАКЛЮЧЕНИЕ. ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ.
СПИСОК СОКРАЩЕНИЙ
СПИСОК ЛИТЕРАТУРЫ
- Київ+380960830922