Кауфман В.Ш. Языки программирования концепции и принципы

Концептуальная схема языка программирования.
Что такое язык программирования.
Метауровень.
Модель передачи сообщения.
Классификация недоразумений.
При чем здесь взаимопонимание.
Как достигают взаимопонимания.
Отступление об абстракции-конкретизации. Понятие модели.
Синтактика, семантика, прагматика.
Основная цель изложения.
Зачем могут понадобиться знания о ЯП.
Пять основных позиций при рассмотрении ЯП.
1Что такое производство программных услуг.
Производство программных услуг - основная цель программирования.
Сложность как основная проблема программирования.
Источники сложности.
Два основных средства борьбы со сложностью.
Язык программирования как знаковая система.
Разновидности программирования.
Понятие о базовом языке.
Концептуальная схема рассмотрения ЯП.
ТРИ МОДЕЛИ ЯЗЫКА.
Модель фон-Неймана (модель Н).
Модифицированная модель Маркова (модель М).
Критерий концептуальной ясности и функции высших порядков.
Модель Бэкуса.
Алгебра программ в модели Бэкуса.
МЕТОД ХОАРА.
Язык Дейк.
Дедуктивная семантика.
Компоненты исчисления Хоара.
Правила преодоления конструктов ЯП Дейк.
Применение дедуктивной семантики.
ОСНОВНЫЕ АБСТРАКЦИИ.
Введение.
Принцип технологичности.
Пример простой программы на Аде.
Общее представление об языке Ада.
Обзор языка Ада.
Три важнейшие абстракции: данные, операции, связывание.
Основные абстракции: связывание.
Принцип цельности (согласования абстракций).
Пример: пошаговая детализация средствами Ады.
Основные абстракции: данные.
Регламентированный доступ.
Характеристики, связанные с типом. Класс значений, базовый набор операций.
Воплощение концепции уникальности. Определение и использование типа в Аде.
Конкретные категории типов.
Типы ка объекты высшего порядка (атрибутные функции).
Родовые сегменты.
Асинхронные процессы.
Числовые типы (модель числовых расчетов).
Управление представлением.
Раздельная компиляция.
Предварительный итог по основным абстракциям и модели А.
Классификация данных и система типов Ады (прогнозирование-контроль поведения объектов в Аде).
Основные абстракции: нотация (представление знаков).
Исключения (исключительные ситуации).
Библиотека.
Обмен с внешней средой.
Заключение: Модель А. Языковое пространство.
АВТОРСКАЯ ПОЗИЦИЯ: ДВА АЛЬТЕРНАТИВНЫХ ПРИНЦИПА СОЗДАНИЯ ЯП.
Принцип сундука.
Закон распространения сложности ЯП.
Принцип чемоданчика.
Обзор языка Модула-2.
Пример м-программы.
Языковая ниша.
Проявление принципа чемоданчика в проектных решениях Модулы-(авторская позиция).
Принцип чайника.
РЕАЛИЗАТОРСКАЯ ПОЗИЦИЯ: СТРУКТУРА РЕАЛИЗАЦИИ.
Компоненты реализации.
Реализаторская позиция: компиляторы.
Основная функция компилятора.
Три принципа создания компиляторов.
Пример параметрического синтаксического анализатора.
Задача анализа.
Синтаксический анализатор для разделенныx грамматик.
Строго-разделенные грамматики.
Разделенный синтаксис языка Дейк.