| Оглавление: | 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. Общие гиперправила
1.3.1. Синтаксис общих предикатов
1.3.2. Выполнимость предикатов
1.3.3. Синтаксис общих конструкций
2. Вычислитель и программа
2.1. Терминология
2.1.1. Объекты
2.1.2. Соотношения
2.1.3. Значения
2.1.4. Действия
2.1.5. Сокращения
2.2. Программа
2.2.1. Синтаксис
2.2.2. Семантика
3. Предложения
3.0.1. Синтаксис
3.0.2. Семантика
3.1. Замкнутые предложения
3.1.1. Синтаксис
3.2. Последовательные предложения
3.2.1. Синтаксис
3.2.2. Семантика
3.3. Совместные и параллельные предложения
3.3.1. Синтаксис
3.3.2. Семантика
3.4. Выбирающие предложения
3.4.1. Синтаксис
3.4.2. Семантика
3.5. Циклические предложения
3.5.1. Синтаксис
3.5.2. Семантика
4. Описания, описатели и индикаторы
4.1. Описания
4.1.1. Синтаксис
4.1.2. Семантика
4.2. Описания видов
4.2.1. Синтаксис
4.2.2. Семантика
4.3. Описания приоритетов
4.3.1. Синтаксис
4.3.2. Семантика
4.4. Описания идентификаторов
4.4.1. Синтаксис
4.4.2. Семантика
4.5. Описания операций
4.5.1. Синтаксис
4.5.2. Семантика
4.6. Описатели
4.6.1. Синтаксис
4.6.2. Семантика
4.7. Соотношения между видами
4.7.1. Синтаксис
4.8. Индикаторы и указатели полей
4.8.1. Синтаксис
4.8.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.5. Основы, связанные со значениями любого вида
5.5.1. Ядра
5.5.2. Пропуски
6. Приведение
6.1. Приведенные
6.1.1. Синтаксис
6.2. Разыменование
6.2.1. Синтаксис
6.2.2. Семантика
6.3. Распроцедуривание
6.3.1. Синтаксис
6.3.2. Семантика
6.4. Объединение
6.4.1. Синтаксис
6.5. Обобщение
6.5.1. Синтаксис
6.5.2. Семантика
6.6. Векторизация
6.6.1. Синтаксис
6.6.2. Семантика
6.7. Опустошение
6.7.1. Синтаксис
6.7.2. Семантика
7. Виды и среды
7.1. Независимость свойств
7.1.1. Синтаксис
7.2. Идентификация в средах
7.2.1. Синтаксис
7.2.1. Семантика
7.3. Эквивалентность видов
7.3.1. Синтаксис
7.4. Правильность построения
7.4.1. Синтаксис
8. Изображения
8.0.1. Синтаксис
8.1. Изображения простого
8.1.1. Изображения целого
8.1.2. Изображения вещественного
8.1.3. Изображения логического
8.1.4. Изображения литерного
8.1.5. Изображение пустого значения
8.2. Изображения битового
8.2.1. Синтаксис
8.2.1. Семантика
8.3. Изображения строки
8.3.1. Синтаксис
8.3.1. Семантика
9. Знаки и символы
9.1. Знаки
9.1.1. Синтаксис
9.2. Примечания и прагматы
9.2.1 Синтаксис
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.3. Описание обмена
10.3.1. Книги, каналы и файлы
10.3.2. Значения для обмена
10.3.3. Бесформатный обмен
10.3.4. Тексты формата
10.3.5. Форматный обмен
10.3.6. Двоичный обмен
10.4. Системное вступление и список задач
10.4.1. Системное вступление
10.4.2. Список системных задач
10.5. Собственные вступления и заключения
10.5.1. Собственные вступления
10.5.2. Собственные заключения
Приложение 1. Историческая справка
Приложение 2. Требования к машинописному представлению программы
Приложение 3. Указатель применяемых в стандарте понятий
Приложение 4. Список метаправил |