Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО
Гаевой, Виталий Анатольевич
05.13.11
Кандидатская
1999
Санкт-Петербург
163 с.
Стоимость:
499 руб.
СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 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]. Общим вопросом, обсуждаемым в семантической теории программ, является вопрос о соответствии функций, выполняемых программой тем задачам, для решения которых она предназначалась. Его изучение проводится с позиций семантических моделей языков и программ, методов преобразования и
Название работы | Автор | Дата защиты |
---|---|---|
Исследование методов контроля функционирования программно-конфигурируемых сетей | Чемерицкий, Евгений Викторович | 2015 |
Методы, алгоритмы и программные инструменты достижения интероперабельности прикладного программного обеспечения на основе частотного анализа данных | Мальшаков, Григорий Викторович | 2017 |
Алгоритмы построения адаптивного языкового человеко-машинного интерфейса для программных систем | Нгуен Нгок Зиеп | 2018 |