Джехани Н. — Язык Ада :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Джехани Н. — Язык Ада

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Язык Ада

Автор: Джехани Н.

Аннотация:

В книге американского автора дается систематическое описание мощного алгоритмического языка Ада, предназначенного для создания крупных программных систем. Большим достоинством языка является возможность организации параллельного выполнения программ. Приведен стандарт языка Ада, разработанный в 1983 г. и принятый в качестве обязательного для всех фирм, работающих на военное ведомство США.
Для специалистов, работающих в области программирования и проектирования сложных технических комплексов.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1988

Количество страниц: 552

Добавлена в каталог: 24.07.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Тело подпрограммы      6.3; 6 D см.
Тело подпрограммы перекомпилированное      10.3
Тело подпрограммы, в теле пакета      7.1
Тело подпрограммы, включающее обработчик исключения      11.2—11
Тело подпрограммы, включающее оператор возврата      5.8
Тело подпрограммы, включающее оператор выхода      5.7
Тело подпрограммы, включающее оператор кода, должно быть телом процедуры      13.8
Тело подпрограммы, включающее оператор перехода      5.9
Тело подпрограммы, возбуждающее исключение      11.4.1 11.4.2
Тело подпрограммы, должно быть в той же самой зоне описания, что и описание      3.9 7.1
Тело подпрограммы, еще не предвыполненное к моменту вызова      3.9
Тело подпрограммы, имеющее зависимые задачи      9.4
Тело подпрограммы, как библиотечная единица      10.1
Тело подпрограммы, как вторичный модуль      10.1
Тело подпрограммы, как вторичный модуль, скомпилированный после соответствующего библиотечного модуля      10.3
Тело подпрограммы, как настраиваемое тело      12.2
Тело подпрограммы, как соответствующее тело      3.9
Тело подпрограммы, недопустимое для подпрограмм, зависящих от прагмы INTERFACE      13.9
Тело подпрограммы, помещенное на место каждого вызова      6.3.2
Тело программы      2.2 10.1;
Тело процедуры      см. «Тело подпрограммы»
Тело процедуры, включающее операторы кода      13.8
Тело функции      см. «Тело подпрограммы»
Тип      3.3; D см. «Атрибут «Базовый «Базовый «Вещественный «Дискретный «Дискриминант...» «Именуемый «Индексируемый «Класс «Лимитируемый «Личный «Логический «Неограниченный «Неограниченный «Ограниченный «Операция «Память «Перечислимый «Плавающий «Подтип» «Предопределенный «Производный» «Тип» «Родительский «Символьный «Скалярный «Соответствующий «Составной «Спецификатор «Ссылочный «Требуемое «Универсальный «Фактический «Фиксированный «Формальный «Целый «Числовой
Тип агрегата      4.3.1 4.3.2
Тип аргумента прагмы SUPPRESS      11.7
Тип аргумента спецификатора представления      13.1 13.6
Тип выражения      4.4
Тип выражения в операторе выбора      5.4
Тип дискриминанта формального личного типа настройки      12.3.2
Тип дискриминантов формального объекта настройки и сопоставляемого фактического объекта      12.3.2
Тип задачного объекта      9.2
Тип значения      3.3 3.2
Тип имени      3.3.1
Тип именованного числа      3.2 3.2.2
Тип индекса      4.1.1
Тип индекса в выборе агрегата массива      4.3.2
Тип индекса массива формального индексируемого типа настройки      12.3.4
Тип индекса формального индексируемого типа настройки      12.3.4
Тип индексируемой компоненты формального индексируемого типа настройки      12.3.4
Тип компоненты выражения в агрегате записи      4.3.1
Тип компоненты выражения в агрегате массива      4.3.2
Тип компоненты инициализация объекта      см. «Начальное значение»
Тип компоненты катенация с индексируемым типом      4.5.3
Тип компоненты операция типа, определяющая операцию над составным типом      4.5.1 4.5.2
Тип компоненты формального типа настройки, являющегося индексируемым      12.3.4
Тип литерала      4.2
Тип объекта, указанного формальным ссылочным типом настройки      12.3.5
Тип описанного объекта      3.2 3.2.1
Тип отрезка      4.1.2
Тип параметра цикла      5.5
Тип первичного в выражении      4.4
Тип переименованный      8.5
Тип разделяемой переменной      9 11
Тип результата и разрешение совмещения      6.6
Тип результата формальной функции настройки      12.1.3
Тип с дискриминантами      3.3; 3.3.1 3.3.2 3.7 3.7.1 7.4 7.4.1 см. «Личный
Тип с дискриминантами в качестве компоненты индексируемого типа, который является операндом преобразования      4.6
Тип с дискриминантами в качестве фактического для формального личного типа      12.3.2
Тип строкового литерала      4.2
Тип универсального выражения      4.10
Тип условия      5.3
Тип файла      14.1
Тип фактического объекта настройки      12.3.1
Тип фактического параметра      6.4.1
Тип формального объекта настройки      12.1.1 12.3.1
Тип формального параметра формальной подпрограммы настройки      12.1.3
Тип, возвращаемый атрибутом      4.1.4
Точность (числовая)      см. «DELTA» «DIGITS»
Точность числовых операций над универсальным типом      4.10
Точность числовых операций типа      4.5.7
Удовлетворять (ограничению)      3.3; D см. «Подтип»
Удовлетворять (ограничению), ограничение диапазона      3.5
Удовлетворять (ограничению), ограничение дискриминанта      3.7.2
Удовлетворять (ограничению), ограничение индекса      3.6.1
Указание      см. «Указание подтипа»
Указание подтипа      3.3.2 см.
Указание подтипа в генераторе      4.8
Указание подтипа в описании компоненты      3.7
Указание подтипа в описании объекта      3.2 3.2.1
Указание подтипа в определении индексируемого типа      3.6
Указание подтипа в определении неограниченного индексируемого типа      3.6
Указание подтипа в определении ограниченного индексируемого типа      3.6
Указание подтипа в определении производного типа      3.4
Указание подтипа в определении ссылочного типа      3.8
Указание подтипа в разделе формальных параметров настройки      12.1
Указание подтипа для подтипа формального типа настройки      12.1.2
Указание подтипа как дискретный диапазон      3.6
Указание подтипа как указание подтипа компоненты      3.7
Указание подтипа, включающее ограничение плавающего типа      3.5.7
Указание подтипа, включающее ограничение фиксированного типа      3.5.9
Указанная задача значением задачного типа      9.1; 9.2 9.4 9.5
Указанный подтип (ссылочного типа)      3.8
Указанный тип (ссылочного типа)      3.8
Указатель      см. «Ссылочный тип»
Указывать      3.8 9.1; см. «Задача» «Задачный «Указанная...» «Указанный...» «Ссылочный «Объект»
Унарная аддитивная операция      4.4 4.5 С; см. «Предопределенная «Совмещение
Унарная аддитивная операция в качестве операции типа дискретного типа      3.5.5
Унарная аддитивная операция в простом выражении      4.4
Унарная аддитивная операция совмещенная      6.7
Унарная операция      4.5; 3.5.5 3.5.8 3.5.10 3.6.2 4.5.4 4.5.6 C см. «Унарная
Унарная операция NOT      см. «Операция наивысшего приоритета»
Унарная операция NOT в качестве операции над булевским типом      3.5.5
Унарная операция NOT в качестве операции над индексируемым типом      3.5.2
Унарная операция NOT в множителе      4.4
Универсальный тип      4.10 см. «Преобразование»
Универсальный тип выражения      см. «Выражение» «Числовой
Универсальный тип именованного числа      3.2.2 3.2
Универсальный тип результат атрибута      см. «Атрибут»
Управление файлами      14.2.1
Управление файлами в пакете TEXT_IO      14.3.1
Условие      5.3 см.
Условие в операторе выхода      5.7
Условие в условном операторе      5.3
Условие в цикле типа WHILE      5.5
Условие, определяющее открытую альтернативу отбора с ожиданием      9.7.1
Условная компиляция      10.6
Условный вызов входа      9.7.2; 9.7
Условный вызов входа и переименование входа      8.5
Условный вызов входа, указанного в спецификаторе адреса      13.5.1
Условный оператор      5.3 см.
Условный оператор как составной оператор
Файл (объект файлового типа)      14.1 см.
Файл по умолчанию      14.3.2; 14.3
Файл последовательного доступа      14.2; 14.1 14.2.1
Файл прямого доступа      14.2; 14.1 14.2.1
Фактическая подпрограмма      см. «Фактическая подпрограмма настройки»
Фактическая подпрограмма настройки      12.1.3 12.3.6 см.
Фактический объект      см. «Фактический объект настройки»
Фактический объект настройки      12.3.1; 12.1.1 см.
Фактический параметр      6.4.1; D
Фактический параметр (операции)      6.7
Фактический параметр (подпрограммы)      6.4; 6.2 6.3 см. «Вызов «Вызов «Оператор «Формальный
Фактический параметр в конкретизации настройки      см. «Фактический параметр настройки»
Фактический параметр задачного типа      9.2
Фактический параметр именуемого типа      9.2
Фактический параметр индексируемого типа      3.6.1
Фактический параметр настройки      12.3; 12 см. «Согласование» «Сопоставление «Фактическая «Фактический «Фактический «Формальный
Фактический параметр настройки для формального индексируемого типа настройки      12.3.4
Фактический параметр настройки для формального личного типа настройки      12.3.2
Фактический параметр настройки для формального объекта настройки      12.1.1
Фактический параметр настройки для формального скалярного типа настройки      12.3.3
Фактический параметр настройки для формального ссылочного типа настройки      12.3.5
Фактический параметр настройки для формального типа настройки      12.1.2
Фактический параметр настройки для формальной подпрограммы настройки      12.1.3 12.3.6
Фактический параметр настройки не может быть операцией над универсальным_фиксированным типом      4.5.5
Фактический параметр настройки не является статическим      4.9
Фактический параметр настройки, являющийся агрегатом массива      4.3.2
Фактический параметр настройки, являющийся заданным типом      9.2
Фактический параметр настройки, являющийся параметром цикла      5.5

Фактический параметр, характеристики и разрешение совмещения      6.6
Фактический параметр, являющийся агрегатом массива      4.3.2
Фактический параметр, являющийся параметром цикла      5.5
Фактический тип      см. «Фактический тип настройки»
Фактический тип настройки      см. «Фактический параметр настройки»
Фактический тип настройки для формального индексируемого типа      12.3.4
Фактический тип настройки для формального личного типа настройки      12.3.2
Фактический тип настройки для формального скалярного типа      12.3.3
Фактический тип настройки для формального ссылочного типа      12.3.5
Фактический тип настройки для формального типа с дискриминантами      12.3.2
Физический процессор      9.9.8
Фиксированный тип      3.5.9; D см. «Вещественный «Длительность операции «Скалярный «Числовой «SMALL» «SYSTEM» «FINE_DELTA» «SYSTEM.MAX_MANTISSA)
Фиксированный тип как фактический тип настройки      12.3.3
Фиксированный тип как формальный тип настройки      12.1.2
Фиксированный тип операций типа      3.5.10; 4.5.3 4.5.4 4.5.5
Фиксированный тип, границы ошибки      4.5.7; 3.5.6
Фиксированный тип, результат операции, выходящей за диапазон значений этого типа      4.5.7
Фиксированный тип, точность операций типа      4.5.7
Форма управления      см. «Форма управления с промежуточной проверкой»
Форма управления OR ELSE      см. «Форма управления с промежуточной проверкой»
Форма управления промежуточной проверкой      4.5 4.5.1;
Форма управления промежуточной проверкой в выражении      4.4
Форма управления промежуточной проверкой как базовая операция типа      3.3.3; 3.5.5
Формальная подпрограмма настройки      12.1 12.1.3; 12.3 12.3.6 см.
Формальная подпрограмма настройки по умолчанию      12.1; 12.1.3 12.3.6
Формальная подпрограмма настройки с тем же именем, что и другая      12.3
Формальная подпрограмма настройки, формальная функция      12.1.3
Формальный объект настройки      12.1 12.1.1; 12.3 12.3.1 см. формальный
Формальный объект настройки вида IN      12.1.1; 3.2.1 12.3 12.3.1
Формальный объект настройки вида OUT      12.1.1; 3.2.1 12.3 12.3.1
Формальный объект настройки именуемого типа      3.7.2
Формальный объект настройки индексируемого типа      3.6.1
Формальный параметр      6.1; D
Формальный параметр (входа)      9.5; 3.2 3.2.1
Формальный параметр (операции)      6.7
Формальный параметр (подпрограммы)      6.1 6.2 6.4; 3.2.1 6.3 см. «Вход» «Выражение «Объект» «Подпрограмма» «Фактический «Формальный
Формальный параметр (функции)      6.5
Формальный параметр вида IN      6.1 6.2;
Формальный параметр вида IN OUT      6.1 6.2;
Формальный параметр вида IN OUT недопустим для входа по прерыванию      13.5.1
Формальный параметр вида IN OUT недопустим для функции      6.5
Формальный параметр вида IN входа по прерыванию      13.5.1
Формальный параметр вида IN функции      6.5
Формальный параметр вида OUT      6.1 6.2
Формальный параметр вида OUT недопустим для входа по прерыванию      13.5.1
Формальный параметр вида OUT недопустим для функции      6.5
Формальный параметр главной программы      10.1
Формальный параметр задачного типа      9.2
Формальный параметр имена и разрешение совмещений      6.6
Формальный параметр именуемого типа      3.7.2
Формальный параметр индексированного типа      3.6.1
Формальный параметр как константа      3.2.1
Формальный параметр как объект      3.2
Формальный параметр как переменная      3.2.1
Формальный параметр лимитируемого типа      7.4.4
Формальный параметр настройки      12.1 12.3; D см. «Согласование» «Сопоставление «Фактический «Формальная «Формальный «Формальный
Формальный параметр настройки задачного типа      9.2
Формальный параметр настройки как константа      3.2.1
Формальный параметр настройки как переменная      3.2.1
Формальный параметр настройки лимитируемого типа      7.4.4
Формальный параметр операции типа      3.3.3
Формальный параметр переименованного входа или подпрограммы      8.5
Формальный параметр производной подпрограммы      3.4
Формальный параметр формальной подпрограммы настройки      12.1
Формальный тип настройки      12.1 12.1.2; см. «Ограничение...» «Указание «Формальный
Формальный тип настройки как индекс или тип компоненты формального индексируемого типа настройки      12.3.4
Формальный тип настройки, раздел формальных параметров      12.1.2
Формальный тип настройки, формальный (ограниченный) индексируемый тип      12.1.2
Формальный тип настройки, формальный дискретный тип      12.1.2
Формальный тип настройки, формальный индексируемый тип      12.1.2 12.3.4
Формальный тип настройки, формальный лимитируемый личный тип      12.3.2
Формальный тип настройки, формальный лимитируемый тип      12.1.2
Формальный тип настройки, формальный личный тип      12.1.2 12.3.2
Формальный тип настройки, формальный личный тип с дискриминантами      12.3.2
Формальный тип настройки, формальный перечислимый тип      12.1.2
Формальный тип настройки, формальный плавающий тип      12.1.2
Формальный тип настройки, формальный скалярный тип      12.1.2
Формальный тип настройки, формальный фиксированный тип      12.1.2
Формальный тип настройки, формальный целый тип      12.1.2
Формат ввода-вывода в пакете TEXT_IO      14.3.5 14.3.7 14.3.8 14.3.9
Функция      6.1 6.5; D см. «Операция» «Параметр» «Предопределенная «Подпрограмма» «Подтип «Профиль
Функция как главная программа      10.1
Функция, переименование      8.5
Функция, результат      см. «Возвращаемое значение»
Функция, являющееся атрибутом      4.1.4 12.3.6
Хранимое число (вещественного типа)      3.5.6; 4.5.7 см. «Вещественный «Модельное
Хранимое число (вещественного типа) ограничение на результат операции над вещественным типом      4.5.7
Хранимое число (вещественного типа) плавающего типа      3.5.7; 3.5.8
Хранимое число (вещественного типа) результат универсального выражения недопустимо велик      4.10
Хранимое число (вещественного типа) фиксированного типа      3.5.9; 3.5.10
Хранимый интервал      4.5.7
Целая часть десятичного литерала      2.4.1
Целая часть как основание литерала с основанием      2.4.2
Целый литерал      2.4 см. «Целый
Целый литерал в десятичной нотации      2.4.1
Целый литерал в нотации с основанием      2.4.2
Целый литерал как граница дискретного диапазона      9.5
Целый литерал как универсальный целый литерал      3.5.4
Целый подтип      см. «PRIORITY»
Целый подтип, относящийся к определению целого типа      3.5.4
Целый тип      3.5.4; 3.3 3.5 D см. «Предопределенный «Скалярный «Универсальный «Числовой «SYSTEM.MAX_INT» «SYSTEM.MIN_INT»
Целый тип как параметр настройки      12.3.3
Целый тип как формальный тип настройки      12.1.2
Целый тип, операция типа      3.5.5; 4.5.3 4.5.4 4.5.5 4.5.6
Цикл типа while      см. «Оператор цикла»
Циклическая зависимость компилируемых модулей      10.5
Цифра      2.1 см. «Обобщенная «Основной
Цифра в десятичном литерале      2.4.1
Цифра в идентификаторе      2.3
Цифра в литерале с основанием      2.4.2
Цифры (плавающего типа)      3.5.7 см.
Частичная упорядоченная компиляция      10.3
Черта      см. «Вертикальная черта»
Число      см. «Литерал с основанием» «Десятичный
Числовая операция над универсальным типом      4.10
Числовое значение именованного числа      3.2
Числовой литерал      2.4 4.2; 2.4.1 2.4.2 см.
Числовой литерал в качестве базовой операции типа      3.3.3
Числовой литерал в качестве параметра атрибута VALUE      3.5.5
Числовой литерал в качестве первичного      4.4
Числовой литерал в качестве результата атрибута IMAGE      3.5.5
Числовой литерал в конструкции согласования      6.3.1
Числовой литерал в прагме MEMORY_SIZE      13.7
Числовой литерал в прагме STORAGE_UNIT      13.7
Числовой литерал в статическом выражении      4.9
Числовой литерал и разделитель между соседними лексемами      2.2
Числовой литерал может быть записан символами из основного набора символов      2.10
Числовой литерал присвоенный      5.2
Числовой тип      3.5 см. «Плавающий «Преобразование» «Скалярный «Фиксированный
Числовой тип, операция типа      4.5 4.5.2 4.5.3 4.5.4 4.5.5 4.5.6
Чтение значения объекта      6.2 9.11
Шаблон      см. «Настраиваемый модуль»
Шрифтовое выделение графических символов      2.1
Экземпляр      см. «Экземпляр настройки»
Экземпляр настройки      12.3; 12.1 12.1.3 12.2 D см. область
Экземпляр настройки настраиваемого пакета      12.3
Экземпляр настройки настраиваемой подпрограммы      12.3
Экземпляр настройки подставляемый на место каждого вызова      6.3.2
Экземпляр настройки, возбуждающий исключение      11.4.1
Элемент описания      3.9 см. «Основной
Элемент описания в видимом разделе пакета      7.4
Элемент описания в разделе описаний      3.9; 6.3.2
Элемент описания в спецификации пакета      6.3.2
Элемент описания в теле процедуры, заданной кодом      13.8
Элемент описания, являющийся спецификатором использования      8.4
Элемент файла      14 14.1;
Элемент файла последовательного доступа      14.2.2
Элемент файла прямого доступа      14.2.4
Явная инициализация      см. «Оператор» «Описание «Квалифицированное
Явное описание      3.1; 4.1 см.

1 2 3 4 5 6 7 8 9 10 11

О проекте