| Оглавление: | 1. Язык и метаязык
1.1. Метод описания
1.1.1. Введение
1.1.2. Прагматика
1.1.3. Синтаксис строгого языка
1.1.4. Семантика
1.2. Общие метаправила
1.2.1. Метаправила для видов
1.2.2. Метаправила, связанные с фразами и приведением
1.2.3. Метаправила, связанные со средствами
1.3. Общие гиперправила
2. Вычислитель и программа
2.1. Терминология
2.1.1. Объекты
2.1.2. Соотношения
2.1.3. Значения
2.1.4. Действия
2.1.5. Сокращения
2.2. Программа
3. Предложения
3.0.1. Синтаксис
3.0.2. Семантика
3.1. Замкнутые предложения
3.2. Последовательные предложения
3.2.1. Синтаксис
3.2.2. Семантика
3.3. Совместные и параллельные предложения
3.3.1. Синтаксис
3.3.2. Семантика
3.4. Выбирающие предложения
3.5. Циклические предложения
3.6. Подключающие предложения
3.6.1. Синтаксис
3.6.2. Семантика
4. Описания, описатели и индикаторы
4.1. Описания
4.1.1. Синтаксис
4.1.2. Семантика
4.2. Описания видов
4.3. Описания приоритетов
4.4. Описания идентификаторов
4.5. Описания операций
4.6. Описатели
4.7. Соотношения между видами
4.8. Индикаторы и указатели полей
4.8.1. Синтаксис
4.8.2. Семантика
4.9. Описание модулей
4.9.1. Синтаксис
4.9.2. Семантика
4.10. Ситуации и реакции
4.10.1. Синтаксис
4.10.2. Семантика
5. Основы
5.1. Синтаксис
5.2. Основы, связанные с именами
5.2.1. Присваивания
5.2.2. Отношения одноименности
5.2.3. Генераторы
5.2.4. Псевдоимена
5.3. Основы, связанные с составными значениями
5.3.1. Выборки
5.3.2. Вырезки
5.4. Основы, связанные с процедурами
5.4.1. Тексты процедур
5.4.2. Формулы
5.4.3. Вызовы
5.4.4. Переходы
5.4.5. Вызовы ситуаций
5.5. Основы, связанные со значениями любого вида
5.6. Заготовки
5.6.1. Синтаксис
6. Приведение
6.1. Приведенные
6.1.1. Синтаксис
6.2. Разыменование
6.2.1. Синтаксис
6.2.2. Семантика
6.3. Распроцедуривание
6.4. Объединение
6.5. Обобщение
6.6. Векторизация
6.7. Опустошение
7. Виды и среды
7.1. Независимость свойств
7.1.1. Синтаксис
7.2. Идентификация в средах
7.2.1. Синтаксис
7.2.1. Семантика
7.3. Эквивалентность видов
7.4. Правильность построения
8. Изображения
9. Знаки и символы
9.1. Знаки
9.2. Примечания и прагматы
9.3. Представления
9.4. Эталонный язык
9.4.1. Представления символов
9.4.2. Символы прочих обозначений
10. Стандартная языковая обстановка
10.1. Тексты программ
10.1.1. Синтаксис
10.1.2. Соответствие языковой обстановке
10.1.3. Способ описания стандартной языковой обстановки
10.2. Стандартное вступление
10.2.1. Запросы к обстановке
10.2.2. Стандартные виды
10.2.3. Стандартные обозначения операций и функций
10.2.4. Операции синхронизации
10.2.5. Стандартные ситуации и восстанавливающие действия
10.3. Описание обмена
10.3.1. Книги, каналы и файлы
10.3.2. Значения для обмена
10.3.3. Бесформатный обмен
10.3.4. Тексты формата
10.3.5. Форматный обмен
10.3.6. Двоичный обмен
10.4. Системное вступление и список задач
10.5. Собственные вступления и заключения
10.5.1. Собственные вступления
10.5.2. Собственные заключения
10.6. Сегменты
10.6.1. Синтаксис
10.6.2. Семантика
Приложение 1. Историческая справка
Приложение 2. Требования к машинописному представлению программы |