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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Меньше или равно, составной ограничитель      2.2
Меньше, ограничитель      2.2
Меньше, операция      см. «Операция отношения»
Меньше, символ      2.1
Метка      5.1 см. «Именованный
Метка, метка перехода      5.9
Метка, неявно описанная      3.1
Метка, описание      5.1
Минимизация памяти      см. «Прагма PACK»
Минимизация по памяти      см. «Предопределенная прагма PACK»
Минус, ограничитель      2.2
Минус, операция      см. «Бинарная аддитивная операция» «Унарная
Минус, символ      см. «Символ дефиса»
Минус, символ в порядке числового литерала      2.4.1
Минус, унарная операция типа      4.5.4
Многомерный массив      3.8
Множитель      4.4
Множитель в слагаемом      4.4
Модельное число (вещественного типа)      3.5.6; D см. «Хранимое
Модельное число (вещественного типа) плавающего типа      3.5.7; 3.5.8
Модельное число (вещественного типа) фиксированного типа      3.5.9; 3.5.10
Модельное число (вещественного типа), точность вещественной операции типа      4.5.7
Модельный интервал подтипа      4.5.7
Модуль      см. «Библиотечный модуль» «Задачный «Квант «Компилируемый «Настраиваемый «Программный
Мультипликативная операция      4.5; 4.5.5 C см. «Совмещение
Мультипликативная операция в слагаемом      4.4
Мультипликативная операция совмещенная      6.7
Мультипликативная операция типа      4.5.5
Мультипликативная операция типа, точность вещественного типа      4.5.7
Набор (ссылочного типа)      3.8; 4.8 D см. «Выделено «Генератор» «Объект» «Спецификатор «Ссылочный
Набор (ссылочного типа) производственного ссылочного типа      13.2; 3.4
Набор основных символов      2.1
Набор основных символов достаточен для изображения текста программы      2.10
Нарушение ограничения      см. «Исключение CONSTRAINT_ERROR»
Наследуемая подпрограмма      3.4
Наследуемая подпрограмма, запрещающая спецификаторы представления      13.1
Настраиваемая подпрограмма      12.1; 12
Настраиваемая подпрограмма, конкретизация      12.3; 12 12.1 см.
Настраиваемая подпрограмма, прагма INTERFACE не определена      13.9
Настраиваемая подпрограмма, спецификация      12.1 см.
Настраиваемая процедура      см. «Настраиваемая подпрограмма»
Настраиваемая функция      см. «Настраиваемая подпрограмма»
Настраиваемое тело      12.2; 12.1 12.1.2 12.3.2 см. «След
Настраиваемое тело в теле пакета      7.1
Настраиваемое тело, включающее неявное описание      5.1
Настраиваемое тело, включающее обработчик исключений      11.2; 11
Настраиваемое тело, включающее оператор выхода      5.7
Настраиваемое тело, включающее оператор перехода      5.9
Настраиваемое тело, должно находиться в той же зоне описания, что и его описание      3.9 7.1
Настраиваемое тело, еще не предвыполненное при конкретизации      3.9
Настраиваемый модуль      12 12.1; D см. «Программный
Настраиваемый модуль с раздельно компилируемым телом      10.2
Настраиваемый модуль, включающий оператор возбуждения      11.3
Настраиваемый модуль, включающий описание исключения      11.1
Настраиваемый модуль, упомянутый в прагме SUPPRESS      11.7
Настраиваемый пакет      12.1; 12
Настраиваемый пакет для ввода-вывода      14
Настраиваемый пакет, конкретизация настройки      12.3; 12 12.1 см.
Настраиваемый пакет, спецификация      12.1 см.
Находится непосредственно (в зоне описаний)      8.1; 8.3 8.4 10.2
Начальное значение (объекта)      3.2.1 см. «Выражение «Инициализация «Начальное «Составной
Начальное значение (объекта) в генераторе      4.8; 3.8 7.4.4
Начальное значение (объекта) дискриминанта объекта      3.7.2
Начальное значение (объекта) дискриминанта формального параметра      6.2
Начальное значение (объекта) константы      3.2.1
Начальное значение по умолчанию (типа)      3.3 см. «Начальное
Начальное значение по умолчанию (типа) для объекта именуемого типа      3.7; 3.2.1
Начальное значение по умолчанию (типа) для объекта ссылочного типа      3.8; 3.2.1 см.
Не имеет другого результата      см. «Предвыполнение не имеет другого результата»
Не равно, операция      см. «Операция отношения»
Не равно, составной ограничитель      см. «Составной ограничитель неравенства»
Некорректная зависимость от порядка      1.6 см.
Некорректная зависимость от порядка библиотечный модуль      10.5
Некорректная зависимость от порядка библиотечный модуль, выражение      4.5
Некорректная зависимость от порядка библиотечный модуль, выражение по умолчанию для дискриминанта      3.2.1
Некорректная зависимость от порядка библиотечный модуль, выражение по умолчанию для компоненты      3.2.1
Некорректная зависимость от порядка библиотечный модуль, границы ограничения диапазона      3.5
Некорректная зависимость от порядка библиотечный модуль, компонента указания подтипа      3.6
Некорректная зависимость от порядка библиотечный модуль, ограничение индекса      3.6
Некорректная зависимость от порядка библиотечный модуль, оператор присваивания      5.2
Некорректная зависимость от порядка библиотечный модуль, префикс и дискретный диапазон отрезка      4.1.2
Некорректная зависимость от порядка библиотечный модуль, сопоставление агрегата записи      4.3.1
Некорректная зависимость от порядка библиотечный модуль, сопоставление агрегата массива      4.3.2
Некорректная зависимость от порядка библиотечный модуль, сопоставление параметров      6.4
Некоторый порядок, не определенный языком      см. «Некорректная зависимость от порядка»
Необработанное исключение      11.4.1
Неограниченный индексируемый тип      3.6; 3.2.1
Неограниченный индексируемый тип в качестве фактического для формального личного типа      12.3.2
Неограниченный индексируемый тип, аргумент спецификатора длины      13.2
Неограниченный индексируемый тип, формальный параметр      6.2
Неограниченный подтип      3.3 3.3.2 см. «Ограниченный «Подтип» «Тип»
Неограниченный подтип, указание в настраиваемом модуле      12.3.2
Неограниченный тип      3.3; 3.2.1 3.6 3.6.1 3.7 3.7.2
Неограниченный тип с дискриминантами      6.4.1 12.3.2
Неограниченный тип, формальный параметр      6.2
Неоднозначность      см. «Совмещение»
Неопределенное значение в качестве скалярного параметра      6.2
Неопределенное значение в качестве скалярной переменной      3.2.1
Неполное описание типа      3.8.1; 3.3.1 7.4.1
Неполное описание типа как перенесение зоны описания      8.1
Непосредственная видимость      8.3; D см. «Видимость» «Знак «Именованная «Операция «Символьный
Непосредственная видимость библиотечного модуля, создаваемая спецификатором совместности      10.1.1
Непосредственная видимость в субмодуле      10.2
Непосредственная видимость, создаваемая спецификатором использования      8.4
Непосредственная область действия      8.2; 8.3
Непосредственно (в зоне описания)      см. «Находится непосредственно в»
Непосредственный ввод-вывод      14.2.4; 14.2.1
Неправильный      1.8
Несовместимость (для ограничений)      см. «Совместимость»
Неявная инициализация объекта      см. «Генератор» «Начальное
Неявное описание      3.1; 4.1 см.
Неявное описание базовой операции типа      3.1; 3.3.3
Неявное описание библиотечного модуля      6.6; 10.1
Неявное описание имени блока, имени цикла или метки      5.1; 3.1
Неявное описание исключения, относящегося к конкретизации      11.1
Неявное описание литерала перечисления      3.3.3
Неявное описание операции равенства      6.7
Неявное описание операций универсального фиксированного типа      4.5.5
Неявное описание предопределенной операции      4.5
Неявное описание производной подпрограммы      3.3.3 3.4
Неявное описание, порожденное описанием типа      4.5
Неявное описание, скрытие явным описанием      8.3
Неявное преобразование      4.8 см. «Преобразование «Явное
Неявное преобразование вещественного литерала к вещественному типу      3.5.6
Неявное преобразование выражение универсального вещественного типа      4.5.7
Неявное преобразование выражение универсального типа      3.5.4; 3.5.6
Неявное преобразование целого литерала к целому типу      3.5.4
Неявный спецификатор представления для производственного типа      3.4
Нижняя граница      см. «Атрибут FIRST» «Граница»
Номер позиции литерала перечисления      3.5.1
Номер позиции целого значения      3.5.4
Номер позиции, возвращаемый атрибутом POS      3.5.5
Номер позиции, значения дискретного типа      3.5
Номер позиции, как параметр атрибута VAL      3.5.5
Номер текущего столбца      14.3; 14.3.1 14.3.4 14.3.5 14.3.6
Номер текущей страницы      14.3; 14.3.1 14.3.4 14.3.5
Номер текущей строчки      14.3; 14.3.1 14.3.4 14.3.5
Область действия      8.2; 8.3 D см. «Видимость» «Зона «Идентификатор» «Описание» «Непосредственная «Неявное «Символ «Перегрузка» «Символьный совмещение» «Экземпляр
Область действия, спецификатор использования      8.4
Обозначать понятие      3.1 4.1; см. «Описание» «Понятие»
Обозначение      см. «Обозначение_типа»
Обозначение (функции)      6.1 см. «Операция» «Совмещение»
Обозначение (функции) библиотечного модуля      10.1
Обозначение (функции) в описании функции      4.5
Обозначение (функции) в спецификации подпрограммы      6.1; 6.3
Обозначение (функции) в теле подпрограммы      6.3
Обозначение (функции) совмещенное      6.6
Обозначение (функции) формальной подпрограммы настройки      12.3.6; 12.1 12.1.3
Обозначение атрибута      4.1.4
Обозначение типа (обозначающее тип или подтип)      3.3.2

Обозначение типа (обозначающее тип или подтип) в генераторе      4.8
Обозначение типа (обозначающее тип или подтип) в качестве фактического параметра настройки      12.3
Обозначение типа (обозначающее тип или подтип) в квалифицированном выражении      4.7
Обозначение типа (обозначающее тип или подтип) в операторе кода      13.8
Обозначение типа (обозначающее тип или подтип) в описании параметра настройки      12.3.1
Обозначение типа (обозначающее тип или подтип) в описании переименования      8.5
Обозначение типа (обозначающее тип или подтип) в описании подтипа индекса      3.6
Обозначение типа (обозначающее тип или подтип) в описании субконстанты      7.4
Обозначение типа (обозначающее тип или подтип) в отношении      4.4
Обозначение типа (обозначающее тип или подтип) в преобразовании      4.6
Обозначение типа (обозначающее тип или подтип) в спецификации дискриминанта      3.7.1
Обозначение типа (обозначающее тип или подтип) в спецификации параметра      6.1; 6.2
Обозначение типа (обозначающее тип или подтип) в спецификации подпрограммы      6.1
Обозначение типа (обозначающее тип или подтип) в формальном разделе настройки      12.1; 12.3
Обозначение типа (обозначающее тип или подтип) результата формальной функции настройки      12.1.3
Обозначение типа (обозначающее тип или подтип) статического скалярного подтипа      4.9
Обозначение типа (обозначающее тип или подтип) формального индексируемого типа настройки      12.1.2
Обозначение типа (обозначающее тип или подтип) формального параметра формальной подпрограммы настройки      12.1.3
Обработка исключений      11.4; 11.4.1 11.4.2 11.5
Обработчик      см. «Обработка исключения» «Обработчик
Обработчик исключения      11.2; D
Обработчик исключения в аварийной задаче      9.10
Обработчик исключения в операторе блока      5.6
Обработчик исключения в теле задачи      9.1
Обработчик исключения в теле пакета      7.1 7.3
Обработчик исключения в теле подпрограммы      6.3
Обработчик исключения, включающий имя исключения      11.1
Обработчик исключения, включающий оператор возбуждения      11.3
Обработчик исключения, включающий помеченный оператор      5.9
Обработчик исключения, возбуждающий исключение      11.4.1
Обработчик исключения, недопустим в теле кодовой процедуры      13.8
Обработчик исключения, отбираемый для обработки исключения      11.4.1; 11.6
Общая переменная (для двух задач)      9.11 см.
Объект      3.2; 3.2.1 D см. «Атрибут «Генератор» «Набор» «Компонента» «Константа» «Начальное «Параметр «Переменная» «Подкомпонента» «Распределение «Формальный «Формальный
Объект в качестве фактического параметра      6.2
Объект в качестве формального параметра настройки      12.1.1
Объект задачного типа      см. «Задачный объект»
Объект переименованный      8.5
Объект ссылочного типа      см. «Объект ссылочного типа»
Объект файлового типа      см. «Файл»
Объект, предмет прагмы SUPPRESS      11.7
Объект, предмет спецификатора адреса      13.5
Объект, предмет спецификатора представления      13.1
Объект, созданный генератором      4.8
Объект, созданный предвыполнением описания объекта      3.2.1
Объект, указанный значением формального ссылочного типа настройки      12.3.5
Объект, указанный ссылкой на именуемый тип      3.7.2
Объект, указанный ссылкой на индексируемый тип      3.6.1
Объект, указанный ссылочным значением      3.2 3.8 4.8; 5.2 9.2 11.1 см. «Указанный...»
Объект, указанный ссылочным значением, обозначаемым простым именем      4.1
Объектный модуль для подпрограммы, написанной на другом языке      13.9
Ограничение (объекта некоторого типа)      3.3 3.3.2; см. «Неограниченный «Ограничение «Ограничение «Ограничение «Ограничение «Ограничение «Ограничение «Подтип» «Предвыполнение...» «Совместимость» «Удовлетворять»
Ограничение (объекта некоторого типа) в указании подтипа в генераторе      4.8
Ограничение (объекта некоторого типа) объекта, указанного ссылочным значением      3.8
Ограничение (объекта некоторого типа) переименованного объекта      8.5
Ограничение (объекта некоторого типа) переменной      3.2.1; 3.3 3.6
Ограничение (объекта некоторого типа) подкомпоненты, заданной в спецификаторе компоненты, должно быть статическим      13.4
Ограничение (объекта некоторого типа) подтипа формального типа настройки      12.1.2
Ограничение (объекта некоторого типа) производного подтипа      3.4
Ограничение (объекта некоторого типа) результата формальной функции настройки      12.1.3
Ограничение (объекта некоторого типа) фактического параметра настройки      12.3.1
Ограничение (объекта некоторого типа) формального объекта настройки      12.1.1
Ограничение (объекта некоторого типа) формального параметра      6.2
Ограничение (объекта некоторого типа) формального параметра настройки      12.1 12.3.1
Ограничение (объекта некоторого типа) формального параметра формальной подпрограммы настройки      12.1.3
Ограничение (объекта некоторого типа) явно указанное при квалифицировании      4.7
Ограничение (объекта некоторого типа), неучитываемое при разрешении совмещения      8.7
Ограничение (объекта некоторого типа), обозначения типа в описании параметра настройки      12.3.1
Ограничение дискриминанта      3.7.2; 3.3.2 D см.
Ограничение дискриминанта в генераторе      4.8
Ограничение дискриминанта для ссылочного типа      3.8
Ограничение дискриминанта нарушенное      11.1
Ограничение дискриминанта, игнорируемое при подавлении проверки ACCESS_CHECK      11.7
Ограничение индекса      3.6 3.6.1; см.
Ограничение индекса в генераторе      4.8
Ограничение индекса в определении ограниченного индексируемого типа      3.6
Ограничение индекса в указании подтипа      3.3.2
Ограничение индекса на ссылочный тип      3.8
Ограничение индекса нарушенное      11.1
Ограничение индекса, игнорируемое при подавлении контроля INDEX_CHECK      11.7
Ограничение плавающего типа      3.5.7; 3.5.6
Ограничение плавающего типа для производного подтипа      3.4
Ограничение фиксированного типа      3.5.9; 3.5.6
Ограничение фиксированного типа для производного подтипа      3.4
Ограниченный индексируемый тип      3.6 см. ограничение»
Ограниченный подтип      3.3; 3.2.1 3.6 3.6.1 3.7 3.7.2 6.4.1 12.3.4 см. «Ограничение» «Подтип» «Тип»
Ограниченный подтип объектов в их описаниях      3.2.1
Ограниченный подтип при предвыполнении определения производного типа      3.4
Ограниченный подтип при предвыполнении определения типа      3.3.1
Ограниченный подтип указания подтипа в генераторе      4.8
Ограничитель — апостроф      2.2
Ограничитель — апостроф в атрибуте      4.1.4
Ограничитель — апостроф в квалифицированном выражении      4.7
Ограничитель — вертикальная черта      2.2
Ограничитель — точка      2.2
Ограничитель — точка с запятой      2.2
Ограничитель — точка с запятой следующий за прагмой      2.8
Ограничитель — точка с запятойрезультатов вещественных операций      4.5.7; 13.7.3
Одиночная задача      9.1
Окончание задачи      см. «Оконченная задача»
Окружение      11.2
Окружение в котором возбуждается исключение      11.4.1 11.4.2
Окружение и оптимизация      11.6
Окружение программы      10.4
Окружение программы, задача окружения, вызывающая главную программу      10.1
Омоним (описание)      8.3 см.
Омоним (описание) и спецификаторы использования      8.4
Оператор      5.1; 5 1 см. «Метка» «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Оператор «Составной «Помеченный «Последовательность «Пустой «Условный
Оператор блока      5.6; D см. «Оператор»
Оператор блока как зона описания      8.1
Оператор блока как составной оператор      5.1
Оператор блока, включающий неявное описание      5.1
Оператор блока, включающий обработчик исключений      11.2; 11
Оператор блока, включающий прагму SUPPRESS      11.7
Оператор блока, возбуждающий исключение      11.4.1 11.4.2
Оператор блока, имеющий зависимые задачи      9.4
Оператор блока, понятие, обозначенное расширенным именем      4.1.3
Оператор возбуждения исключения      см. также «Оператор исключения»
Оператор возбуждения исключениявключая имя исключения      11.1
Оператор возбуждения исключениякак простой оператор      5.1
Оператор возврата      5.8 см. «Функция»
Оператор возврата, выражение, задающее агрегат массива      4.3.2
Оператор возврата, завершение выполнения оператора блока      9.4
Оператор возврата, завершение выполнения подпрограммы      9.4
Оператор возврата, приводящий к выходу из цикла      5.5
Оператор возврата, приводящий к передаче управления      5.1
Оператор возврата, простой оператор      5.1
Оператор возврата, тело функции      6.5
Оператор выбора      5.4 см.
Оператор выбора как составной оператор      5.1
Оператор вызова входа      9.5 см. «Оператор» «Оператор «Описание «Фактический
Оператор вызова входа в аварийной задаче      9.10
Оператор вызова входа в временном вызове входа      9.7.3; 9.5
Оператор вызова входа в условном вызове входа      9.7.2; 9.5
Оператор вызова входа как простой оператор      5.1
Оператор вызова процедуры      6.4 см. «Фактический
Оператор вызова процедуры как простой оператор      5.1
Оператор вызова процедуры с параметром производного типа      3.4
Оператор выхода      5.7 см.
Оператор выхода как простой оператор      5.1
Оператор выхода, вызывающий выход из цикла      5.5
Оператор выхода, вызывающий передачу управления      5.1
Оператор выхода, заканчивающий выполнение оператора блока      9.4
Оператор задержки      9.8 см. оператор»
Оператор задержки в аварийной задаче      9.10
Оператор задержки в альтернативе отбора      9.7.1
Оператор задержки во временном вызове входа      9.7.3
Оператор задержки как простой оператор      5.1
Оператор кода      13.8 см.
Оператор кода как простой оператор      5.1

1 2 3 4 5 6 7 8 9 10 11

О проекте