Разработка способа и средств реализации программ на основе системы функциональных продукций

• Автор: Гаевой, Виталий Анатольевич
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 1999
• Место защиты: Санкт-Петербург
• Количество страниц: 163 с.

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. ПРИМЕНЕНИЕ СИСТЕМ ПРОДУКЦИЙ В РЕАЛИЗАЦИИ
ПРОГРАММ
1 Л. Понятие программы. Способы реализации программ
1.1.1. Развитие представлений о программе
1.1.2. Подходы к реализации программ, использующие декларативную концепцию
1.1.2.1. Языки и системы спецификаций
1.1.2.2. Методы автоматического синтеза программ
1.1.2.3. Языки программирования высокого уровня
1.1.3. Системы продукций в реализации программ
1.2. Продукционные средства реализации программ
1.2.1. Язык Снобол
1.2.2. Язык Рефал
1.2.3. Метод гиперпрограммирования
1.2.4. Псевдоязык Кант
1.2.5. Задачи, методы и средства семантической теории программ. Анализ семантики продукционных программ
1.3. Продукционные модели
1.3.1. Система продукций
1.3.2. Продукционная модель представления знаний
1.3.3. Расширенные модели систем продукций
1.3.3.1. Реляционная модель
1.3.3.2. Алгебраическая модель
1.3.3.3. Использование расширенных моделей в качестве формальной модели программ
Основные результаты по главе
ГЛАВА 2. ПРОДУКЦИОННАЯ МОДЕЛЬ ПРОГРАММЫ

2.1. Основные содержательные понятия
2.2. Система функциональных продукций
2.2.1. Описание модели
2.2.2. Исследование свойств модели
2.3. Модель выполнения программы
2.3.1. Граф продукций
2.3.2. Структурно-семантический анализ программы
2.4. Концептуальная модель программы языка реализации программ
2.4.1. Решение простой задачи, описание типов данных
2.4.2. Описание модели
Основные результаты по главе
ГЛАВА 3. ЯЗЫК РЕАЛИЗАЦИИ ПРОГРАММ СФП
3.1. Описание языка
3.1.1. Основные понятия
3.1.2. Описание синтаксиса
3.1.3. Пример программы
3.2. Методика реализации программ
3.3. Методика отладки программ
3.4. Количественное оценивание языков реализации программ
3.4.1. Методика Холстеда
3.4.2. Результаты оценивания
Основные результаты по главе
ГЛАВА 4. ИНСТРУМЕНТАЛЬНОЕ СРЕДСТВО РЕАЛИЗАЦИИ
ПРОГРАММ «СОФИСТ»
4.1. Особенности современных инструментальных средств
программирования
4.2. Общее описание инструментального средства «Софист»
4.3. Анализ и внутреннее представление программ
4.3.1. Синтаксический анализ и внутреннее представление программ
4.3.2. Семантический анализ
4.4. Отладка и тестовое выполнение программ
4.5. Представление терминальных процедур и преобразование СФП-
программы в программу на алгоритмическом языке
4.6. Реализация и анализ практических программ
4.6.1. Описание программ
4.6.2. Структурно-семантический анализ программ
4.6.3. Сравнение с программами на языке Паскаль
4.7. Особенности разработанного способа, сравнительный анализ средств
реализации программ
Основные результаты по главе
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
ПРИЛОЖЕНИЕ А
ПРИЛОЖЕНИЕ Б
ПРИЛОЖЕНИЕ В

do «А: поставить в конец неупорядоченной части массива максимальный в этой части элемент»
pool
«А: поставить в конец неупорядоченной части массива максимальный в этой
части элемент»:
loop
start «А: взять первую запись массива в качестве текущей»;
«А: считать первую запись местом перестановки записей» step «А: увеличить номер текущей записи на 1» while «С: не перешли границу неупорядоченной части массива» do if «V: ключ текущей записи» > «V: ключ следующей записи»
then «А: считать местом перестановки записей текущую запись»;
«А: поменять в последовательности местами текущую записі» со следующей»

pool
«С: не перешли границу неупорядоченной части массива»:
«V: номер текущей записи» < «V: граница»
1.2.5. Задачи, методы и средства семантической теории программ. Анализ семантики продукционных программ
Одним из направлений исследований в современном теоретическом программировании является [45, 58, 59] семантическая теория программ. Изначально понятие семантики, как оно используется в лингвистике, определяет смысл, или значение слов. В программировании семантика программ или языков программирования - это [59, 89] их смысл, математический смысл для программиста и описание функционирования для машины. Тесно к этому направлению примыкают теория схем программ, теория вычислительных процессов и структур [59]. Общим вопросом, обсуждаемым в семантической теории программ, является вопрос о соответствии функций, выполняемых программой тем задачам, для решения которых она предназначалась. Его изучение проводится с позиций семантических моделей языков и программ, методов преобразования и