Стили и методы программирования
Пример 1.1Введение
Сравнение программ на разных языках
Работа программной системы над текстом программ
Стили и методы программирования
Традиционная модельМодификации традиционной архитектуры
Нетрадиционные архитектуры
Конструкции традиционных языков
Примеры традиционных языков
Стили и методы программирования
Пример 4.5.1Различные стороны определения языка
Синтаксис
Семантика
Прагматика
Абстрактный и конкретный синтаксис
Стили и методы программирования
Пример 5.1Конкретизация
Структура данных
Модель вычислений и Рефал-программа
Алгоритм для сопоставления объектного выражения E с образцом P в Рефал-5.
Общие требования к отображению P на E (сопоставлению E : P)
Правила отображения
Дополнительные возможности
Стили и методы программирования
Пример 6.3.1Общие концепции
Поле зрения, поле памяти и PROLOG-программа
Управление исполнением программы
Динамическое пополнение и порождение программы
Организация вычислений и ввода-вывода
Стили и методы программирования
ВведениеРазвитие языка Prolog
Развитие языка Рефал и его диалекты
Сравнение версий сентенциального программирования
Стили и методы программирования
Пример 8.4.1Списки и функциональные выражения
Поле зрения и поле памяти
Модель вычислений LISP
Прагматические добавления и динамическое порождение программ
Объекты и LISP
Стили и методы программирования
Автоматные задачиОсновные структуры автоматного программирования
Программные представления графа состояний
Методы действий в состояниях и на переходах: анализ состояний и построение таблицы
Постановка задачи и первичный анализ
Построение графа состояний
Табличное представление графа состояний
Стили и методы программирования
Пример 10.2.1
Анализ состояния дел
Ручная трансляция таблиц переходов
Автоматизированное преобразование таблиц переходов
Обсуждение решения
Стили и методы программирования
Пример 11.2.1Внимание!
Требования к автоматической трансляции таблиц
Постановка задачи
Пример 12.1.4
Стили и методы программирования
Пример 13.2.1Событие, сообщение, демон
Программирование от приоритетов
Стили и методы программирования
Пример 14.4.1Общая характеристика структурного программирования
Сети данных
Выбор
О дисциплине циклического структурного программирования
Переходы и выдаваемые значения
Стили и методы программирования
Естественный параллелизм алгоритмовВиды параллелизма
Взаимодействие процессов и распараллеливание
Что нужно для переиспользования
Переиспользование и стили
Программирование от образцов
Почему нет универсальных методов?
Стили, их ипостаси, методологии, методики, технологии
Когда нужно использовать различные стили и как они взаимодействуют?
О сочетании стилей
Содержание раздела