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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Отрезок переменной      3.2.1
Отрезок, начинающийся с префикса      4.1 4.1.2
Отрицание      см. «Логическая операция отрицания»
Отрицательный порядок в операции возведения в степень      4.5.6
Отрицательный порядок в числовом литерале      2.4.1
Очередность      9.8; 13.5.1
Очередь входов (вызовов, ожидающих принятия)      9.5
Очередь входов (вызовов, ожидающих принятия) аварийной задачи      9.10
Очередь входов (вызовов, ожидающих принятия), созданная прерываниями      13.5.1
Очередь входов (вызовов, ожидающих принятия), счетчик вызовов в очереди      9.9
Очередь вызовов входов      см. «Очередь входов»
Очередь прерываний      см. «Очередь входов»
Ошибка, которая не может быть обнаружена      1.6
Ошибка, обнаруженная во время компиляции      1.6
Ошибка, обнаруженная во время счета      1.6
Ошибочная ситуация      1.6 11 11.1;
Ошибочное выполнение      1.6 см.
Ошибочное выполнение из-за доступа к несозданному объекту      13.10.1
Ошибочное выполнение из-за зависимости от механизма передачи параметров      6.2
Ошибочное выполнение из-за изменения значения дискриминанта      5.2 6.2
Ошибочное выполнение из-за неконтролируемого преобразования, нарушающего свойства объектов типа результата      13.10.2
Ошибочное выполнение из-за нескольких спецификаторов адреса для перекрываемых понятий      13.5
Ошибочное выполнение из-за подавления проверки исключений      11.7
Ошибочное выполнение из-за присваивания общей переменной      9.11
Пакет      7.7.1; D см. «Видимый «Личный «Описание «Предопределенный «Программный
Пакет как конкретизация настройки      12.3; 12
Пакет переименованный      8.5
Пакет с раздельно компилированным телом      10.2
Пакет, включающий оператор возбуждения      11.3
Пакет, указанный в спецификаторе адреса      13.1
Пакет, упомянутый в спецификаторе использования      8.4
Параллельное выполнение      см. «Задача»
Параметр D      см. также «Вид» «Вход» «Выражение «Параметр «Подпрограмма» «Процедура» «Раздел «Фактический «Формальный «Формальный «Функция»
Параметр D главной программы      10.1
Параметр цикла      5.5 см. объект»
Параметр цикла в качестве объекта      3.2
Первичное      4.4
Первичное в множителе      4.4
Первичное в статическом выражении      4.9
Первый именованный подтип      13.1 см. «Спецификатор
Передача параметров ссылкой      6.2
Передача управления      5.1 см. «Исключение» «Оператор «Оператор «Оператор
Перекомпиляция      10.3
Перекрывающиеся области      см. «Скрытие» «Совмещение»
Перекрывающиеся отрезки при присваивании массивов      5.2.1
Переменная      3.2.1; D см. «Разделяемая
Переменная в операторе присваивания      5.2
Переменная индексируемого типа в левой части оператора присваивания      5.2
Переменная как фактический параметр      6.2
Переменная личного типа      7.4.1
Переменная неограниченного типа      3.3 3.6 3.7;
Переменная неограниченного типа в качестве подкомпоненты      см. «Подкомпонента»
Переменная переименованная      8.5
Переменная, описанная в теле пакета      7.3
Переменная, формальный параметр      6.2
Переменная, являющаяся отрезком      4.1.2
Переносимость      1.1
Переносимость программ, использующих вещественные типы      13.7.3; 3.5.6
Переполнение при выполнении вещественных операций типа      4.5.7; 13.7.3
Перераспределение памяти      4.8
Перетранслированный модуль (из-за перекомпиляции)      10.3
Перечислимый тип      3.5.1; 3.3 3.5 D см. «Скалярный
Перечислимый тип BOOLEAN      3.5.3
Перечислимый тип как параметр настройки      12.3.3
Перечислимый тип как символьный тип      3.5.2
Перечислимый тип как формальный тип настройки      12.1.2
Перечислимый тип, операции типа      3.5.5
Плавающий типа      3.5.7; D см.
Плавающий типа границы ошибки      4.5.7; 3 5.6
Плавающий типа как фактический тип настройки      12.3.3
Плавающий типа как формальный тип настройки      12.1.2
Плавающий типа, диапазон значений типа      4.5.7
Плавающий типа, операция типа      3.5.8; 4.5.3 4.5.4 4.5.5 4.5.6
Плавающий типа, результат операции типа, выходящий за диапазон значений типа      4.5.7
Плавающий типа, точность операций типа      4.5.7
Плюс как ограничитель      2.2
Плюс как операция      см. «Бинарная аддитивная операция» «Унарная
Плюс как символ      2.1
Плюс как унарная операция типа      4.5.4
Подкомпонента      3.3; Е см. «Дискриминант» «Компонента» «Объект» «Составной
Подкомпонента компоненты, для которой дан спецификатор компоненты      13.4
Подкомпонента переименованная      8.5
Подкомпонента, зависящая от дискриминанта      3.7.1; 5.2 6.2 8.5
Подкомпонента, которая является заданным объектом      9.2; 9.3
Подкомпонента, тип которой является лимитируемым типом      7.4.4
Подкомпонента, тип которой является личным типом      7.4.1
Подпрограмма      6; D см. «Вход» «Законченная «Параметр» «Предопределенная «Программный «Производная «Профиль «Процедура» «Совмещенная...» «Фактический «Формальный «Функция»
Подпрограмма с раздельно компилируемым телом      10.2
Подпрограмма, включающая оператор возбуждения      11.3
Подпрограмма, зависящая от прагмы INLINE      6.3.2
Подпрограмма, зависящая от прагмы INTERFACE      13.9
Подпрограмма, зависящая от прагмы SUPPRESS      11.7
Подпрограмма, зависящая от спецификатора адреса      13.5
Подпрограмма, зависящая от спецификатора представления      13.1
Подпрограмма, как главная программа      10.1
Подпрограмма, как операция типа      3.3.3; 7.4.2
Подпрограмма, как экземпляр настройки      12.3; 12
Подпрограмма, переименованная      8.5
Подпрограмма, производного типа      3.4
Подпрограмма, совмещенная      6.6
Подтип      3.3 3.3.2; см. «Атрибут «Атрибут «Неограниченный «Ограниченный «Ограничение» «Первый «Операция «Подтип «Удовлетворяет» «Статический «Тип»
Подтип в проверке принадлежности      4.5.2
Подтип вещественного типа      3.5.7 3.5.9; 4.5.7
Подтип дискриминанта формального типа настройки      12.3.2
Подтип задачного типа      9.2
Подтип именуемого типа      см. «Ограниченный именуемый ограничение дискриминанта»
Подтип имя      см. «Имя подтипа обозначение
Подтип индекса      3.6
Подтип индекса формального индексируемого типа настройки      12.3.4
Подтип индексируемого типа      см. «Ограниченный индексируемого типа» «Ограничения
Подтип компоненты записи      3.7
Подтип компоненты массива      3.6
Подтип личного типа      7.4 7.4.1
Подтип нерассматриваемый при разрешении совмещения      8.7
Подтип ограничения в статическом выражении      4.9
Подтип описанный описанием числового типа      3.5.4 3.5.7 3.5.9
Подтип переменной      5.2
Подтип подпрограммы или входа      8.5
Подтип результата (функции)      6.1
Подтип результата (функции), выражение для возвращаемого значения      5.8
Подтип скалярного типа      3.5
Подтип ссылочного типа      3.8
Подтип фактического параметра      6.4.1
Подтип формального параметра      6.4.1
Подтип формального параметра или результата переименованной подпрограммы или входа      8.5
Подтип формального типа настройки      12.1.2
Подтип, зависящий от спецификатора представления      13.1
Позиционное сопоставление      6.4; 6.4.2 D см. «Сопоставление «Сопоставление «Сопоставление
Позиция компоненты записи      см. «Спецификатор представления записи»
Позиция элемента файла прямого доступа      14.2
Полное описание субконстанты      7.4.3
Полное описание типа      3.3.1
Полное описание типа его раздел дискриминантов не предвыполняется      3.3.1
Полное описание типа лимитируемого личного типа      7.4.4
Полное описание типа личного типа      7.4.1 7.4.2
Полное описание типа незавершенного типа      3.8.1
Помеченный меткой оператор (оператора условного перехода)      5.9
Помеченный оператор      5.1
Помеченный оператор в операторе кода      13.8
Понятие      см. «Дополнительный элемент описания» «Основной
Порядок      см. «Лексикографический порядок»
Порядок выполнения      3.9 см.
Порядок выполнения компилирующих модулей      10.5; 10.1.1
Порядок выполнения операторов      5.1 см.
Порядок выполнения операций в выражении      4.5
Порядок вычисления      1.6 см.
Порядок вычисления выражений и имени в операторе присваивания      5.2
Порядок вычисления выражений по умолчанию для компоненты      3.2.1
Порядок вычисления границ диапазона      3.5
Порядок вычисления и выражения      11.6

Порядок вычисления операндов в выражении      4.5
Порядок вычисления сопоставления параметров в вызове подпрограммы      6.4
Порядок вычисления условий в отборе с ожиданием      9.7.1
Порядок вычисления условий в условном операторе      5.3
Порядок компиляции (компилируемых модулей)      10.1 10.3; 10.4
Порядок компиляции (компилируемых модулей) создает зависимость для перекомпиляции      10.3
Порядок обратного копирования формальных параметров вида OUT и IN OUT      6.4
Порядок числа плавающего типа      3.5.7; 13.7.3
Порядок, не определенный в языке      см. «Некорректная зависимость от порядка»
Последовательное выполнение      см. «Последовательность операторов» «Оператор»
Последовательность операторов      5.1
Последовательность операторов в альтернативе оператора выбора      5.4
Последовательность операторов в обработчике исключения      11.2
Последовательность операторов в операторе блока      5.6; 9.4
Последовательность операторов в операторе отбора с ожиданием      9.7.1
Последовательность операторов в операторе принятия      9.5
Последовательность операторов в основном цикле      5.5
Последовательность операторов в теле задачи      9.1 9.4
Последовательность операторов в теле пакета      7.1 7.3
Последовательность операторов в теле подпрограммы      6.3 9.4 13.8
Последовательность операторов в условном вызове входа      9.7.2
Последовательность операторов в условном операторе      5.3
Последовательность операторов во временном вызове входа      9.7.3
Последовательность операторов возбуждения исключения      11.4.1
Последовательность операторов, оператор возбуждения исключения      11.3
Последовательность операторов, оператор кода      13.8
Последовательный ввод-вывод      14.2.2; 14.2.1
Постфикс      4.1.3; D см. «Префикс»
Потенциально видимое описание      8.4
Правая круглая скобка как ограничитель      2.2
Правая круглая скобка как символ      2.1
Правильность программы      1.6
Правильный      1.6
Прагма      2.8; 2 D см.
Прагма в теле процедуры кода      13.8
Прагма для указания оверлейной программы      13.5
Прагма для указания, что тело подпрограммы написано на другом языке      13.9
Прагма, аргумент прагмы, являющийся именем совмещенной подпрограммы      6.3.2 8.7 13.9
Прагма, определяющая соглашение по реализации операторов кода      13.8
Прагма, применимая к компиляции в целом      10.1
Прагма, рекомендующаяся для представления понятия      13.1
Предвыполнение      3.9; 3.1 3.3 10.1 D см. «Возбуждаемое «Порядок
Предвыполнение библиотечного модуля      10.5
Предвыполнение конкретизации настройки      12.3
Предвыполнение настраиваемого тела      12.2
Предвыполнение не дает другого результата      3.1
Предвыполнение неполного описания типа      3.8.1
Предвыполнение ограничения диапазона      3.5
Предвыполнение ограничения дискриминанта      3.7.2
Предвыполнение ограничения индекса      3.6.1
Предвыполнение описания      3.1
Предвыполнение описания входа      9.5
Предвыполнение описания задачи      9.1
Предвыполнение описания компоненты      3.7
Предвыполнение описания личного типа      7.4.1
Предвыполнение описания настройки      12.3
Предвыполнение описания объекта      3.2.1
Предвыполнение описания пакета      7.2
Предвыполнение описания переименования      8.5
Предвыполнение описания плавающего типа      3.5.7
Предвыполнение описания подпрограммы      6.1
Предвыполнение описания подтипа      3.3.2
Предвыполнение описания субконстанты      7.4.3
Предвыполнение описания типа      3.3.1 3.8.1 7.4.1
Предвыполнение описания фиксированного типа      3.5.9
Предвыполнение определения вещественного типа      3.5.6
Предвыполнение определения именуемого типа      3.7
Предвыполнение определения индексируемого неограниченного типа      3.6
Предвыполнение определения индексируемого ограниченного типа      3.6
Предвыполнение определения индексируемого типа      3.6
Предвыполнение определения перечислимого типа      3.5.1
Предвыполнение определения подтипа компоненты      3.7
Предвыполнение определения производного типа      3.4
Предвыполнение определения ссылочного типа      3.8
Предвыполнение определения типа      3.3.1
Предвыполнение определения целого типа      3.5.4
Предвыполнение полного описания типа      3.3.1
Предвыполнение раздела дискриминантов      3.7.1
Предвыполнение раздела описаний      3.9
Предвыполнение раздела формальных параметров      6.1
Предвыполнение следа тела      10.2
Предвыполнение спецификатора использования      8.4
Предвыполнение спецификатора представления      13.1
Предвыполнение спецификации дискриминанта      3.7.1
Предвыполнение спецификации задачи      9.1
Предвыполнение спецификации литерала перечисления      3.5.1
Предвыполнение спецификации параметра      6.1
Предвыполнение спецификации параметра цикла      5.5
Предвыполнение тела задачи      9.1
Предвыполнение тела настройки      12.2
Предвыполнение тела пакета      7.3
Предвыполнение тела подпрограммы      6.3
Предвыполнение указания подтипа      3.3.2
Предвыполнение элемента описания      3.9
Предвыполнено      3.9
Предопределенная библиотечная подпрограмма      см. «Предопределенная настраиваемая библиотечная подпрограмма»
Предопределенная константа      8.8; C см.
Предопределенная константа для значений типа CHARACTER      см. «ASCII»
Предопределенная настраиваемая библиотечная подпрограмма      8.6; С
Предопределенная настраиваемая библиотечная процедура      8.8; C см.
Предопределенная настраиваемая библиотечная функция      8.8; C см.
Предопределенная операция      4.5 8.6; см. «Арифметическая «Бинарная «Катенация» «Лимитируемый «Логическая «Мультипликативная «Неравенство» «Операция» «Операция «Операция «Операция «Предопределенная «Равенство» «Унарная
Предопределенная операция в статическом выражении      4.9
Предопределенная операция возбуждающая исключение      11.4.1
Предопределенная операция для именуемого типа      3.7.4
Предопределенная операция для индексируемого типа      3.6.2
Предопределенная операция для ссылочного типа      3.8.2
Предопределенная операция как операция типа      3.3.3
Предопределенная операция плавающего типа      3.5.7
Предопределенная операция производного типа      3.4
Предопределенная операция типа      3.3 3.3.3; см. «Предопределенная
Предопределенная операция типа дискретного типа      3.5.5
Предопределенная операция типа плавающего типа      3.5.8
Предопределенная операция типа распространяющая исключения      11.6
Предопределенная операция типа точность для вещественного типа      4.5.7
Предопределенная операция типа универсального типа      4.10
Предопределенная операция типа фиксированного типа      3.5.10
Предопределенная операция фиксированного типа      3.5.9
Предопределенная операция целого типа      3.5.4
Предопределенная операция, неявно описанная      3.3.3
Предопределенная операция, примененная к неопределенному значению      3.2.1
Предопределенная подпрограмма      8.8; C см. «Библиотечный «Подпрограмма «Предопределенная
Предопределенная прагма      см. «CONTROLLED» «ELABORATE» «INLINE» «INTERFACE» «LIST» «MEMORY_SIZE» «OPTIMIZE» «PACK» «PAGE» «PRIORITY» «SHARED» «STORAGE_UNIT» «SUPPRESS» «SYSTEM_NAME»
Предопределенная функция      8.8; C см. «Литерал «Предопределенная «Символьный
Предопределенное именованное число      см. «SYSTEM.FINE_DELTA» «SYSTEM.MAXDIGITS» «SYSTEM.MAXINT» «SYSTEM.MAX_MANTISSA» «SYSTEM.MEMORY_SYZE» «SYSTEM.MIN_INT» «SYSTEM.STORAGE_UNIT» «SYSTEM.TICK»
Предопределенное исключение      8.8 11.1; C см. «_IO_EXCEPTIONS» «NUMERIC_ERROR» «PROGRAM_ERROR» «TASKING_ERROR» «TIME_ERROR»
Предопределенный атрибут      см. «ADDRESS» «BASE» «CALLABLE» «CONSTRAINED» «COUNT» «FIRST» «FIRST_BIT» «IMAGE» «LAST» «LAST_BIT» «POS» «PRED» «PANGE» «SIZE» «SMALL» «STORAGE_SIZE» «SUCC» «TERMINATE» «VAL» «VALUE» «WIDTH»
Предопределенный библиотечный пакет      8.8; C см. «Предопределенный «Пакет «ASCII» «CALENDAR» «IO «LOW_LEVEL_IO» «MACHINE_CODE» «SYSTEM» «TEXT_IO»
Предопределенный настраиваемый библиотечный пакет      8.6; C см. «DIRECT_IO» «SEQUENTIAL_IO»
Предопределенный пакет      8.8; C см. «Библиотечный «Предопределенный «STANDARD»
Предопределенный пакет ввода-вывода      14
Предопределенный плавающий тип      см. «FLOAT» «LONG_FLOAT» «SHORT_FLOAT»
Предопределенный подтип      8.8; C см. «NATURAL» «NUMBER_BASE» «POSITIVE» «PRIORITY»
Предопределенный тип      8.8; C см. «CHARACTER» «COUNT» «DURATION» «FLOAT» «INTEGER» «LONG_FLOAT» «LONG_INTEGER» «PRIORITY» «SHORT_FLOAT» «SHORT «STRING» «SYSTEM.ADDRESS» «SYSTEM.NAME» «TIME» «UNIVERSAL_INTEGER» «UNIVERSAL_REAL»
Предопределенный фиксированный тип      3.5.9
Предопределенный целый тип      3.5.4 см. «LONG_INTEGER» «SHORT_INTEGER»
Представление (типа и объектов типа)      13.1
Представление (типа и объектов типа) рекомендуемое прагмой      13.1
Представление в машине      см. «Представление»
Представление записи в памяти      13.4
Предшественник      см. «Атрибут PRED»
Преобразование подтипа      4.8 см. «Операция «Преобразование «Явное
Преобразование подтипа в присваивании массива      5.2.1; 5.2
Преобразование подтипа к вещественному типу      4.5.7
Преобразование типа      4.8 см. «Операция «Преобразование» «Преобразование «Явное
Преобразование типа в качестве первичного      4.4
Преобразование типа в качестве фактического параметра      6.4 6.4.1
Преобразование типа в статическом выражении      4.9
Преобразование типа к вещественному типу      4.5.7
Преобразуемый универсальный операнд      4.8

1 2 3 4 5 6 7 8 9 10 11

О проекте