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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

STRING(предопределенный тип), как параметр атрибута VALUE      3.5.5
STRING(предопределенный тип), как результат атрибута IMAGE      3.5.5
SUCC (предопределенный атрибут)      3.5.5; 13.3 А
SUPPRESS (предопределенная прагма)      11.7; 11.1 В
SYSTEM (предопределенный библиотечный пакет)      13.7; C F
SYSTEM.ADDRESS (предопределенный тип)      13.7; 13.5 см. спецификатор
SYSTEM.FINE_DELTA (предопределенное именованное число)      13.7.1
SYSTEM.MAX_DIGITS (предопределенное именованное число)      13.7.1
SYSTEM.MAX_DIGITS (предопределенное именованное число), максимальное число значащих цифр плавающего типа      3.5.7
SYSTEM.MAX_INT (предопределенное именованное число)      13.7.1; 3.5.4
SYSTEM.MAX_INT (предопределенное именованное число), превышается значением универсального выражения      4.10
SYSTEM.MAX_MANTISSA (предопределенное именованное число)      13.7.1
SYSTEM.MEMORY_SIZE (предопределенное именованное число)      13.7
SYSTEM.MIN_INT (предопределенное именованное число)      13.7.1; 3.5.4
SYSTEM.MIN_INT (предопределенное именованное число), больше, чем значение универсального выражения      4.10
SYSTEM.NAME (предопределенный тип)      13.7
SYSTEM.STORAGE_UNIT (предопределенное именованное число)      13.7; 13.4
SYSTEM.SYSTEM_NAMЕ (предопределенная константа)      13.7 см.
SYSTEM.TICK (предопределенное именованное число)      13.7.1; 9.6
SYSTEM_NAME (предопределенная прагма)      13.7; B см. предопределенная
TASKING_ERROR (предопределенное исключение)      11.1 см.
TASKING_ERROR (предопределенное исключение), возбужденное вызовом входа аварийной задачи      9.10 11.5
TASKING_ERROR (предопределенное исключение), возбужденное вызовом входа завершенной задачи      9.5 9.7.2 9.7.3 11.5
TASKING_ERROR (предопределенное исключение), возбужденное исключением в теле задачи      11.4.2
TASKING_ERROR (предопределенное исключение), возбужденное неуспешной активизацией      9.3 11.4.2
TERMINATED (предопределенный атрибут) для задачного объекта      9.9; А
TEXT_IO (предопределенный пакет ввода-вывода)      14.3; 14 14.1 14.3.9 14.3.10 С
TEXT_IO (предопределенный пакет ввода-вывода), исключения      14.4; 14.5
TEXT_IO (предопределенный пакет ввода-вывода), спецификация      14.3.10
Tick      см. «SYSTEM.TICK»
TIME (предопределенный тип)      9.6 см. «DATE» «DAY» «MAKE_TIME» «MONTH» «SYSTEM.TICK» «YEAR»
TIME.ERROR (предопределенное исключение)      9.8
TIME_OF (предопределенная функция)      9.8
TRUE (логический литерал перечисления)      3.5.3; С
UNCHECKED_CONVERSION (предопределенная настраиваемая библиотечная функция)      13.10.2; 13.10 С
UNCHECKED_DEALLOCATION (предопределенная настраиваемая библиотечная процедура)      13.10.1; 4.8 13.10 С
UNIVERSAL_FIXED (предопределенный тип)      3.5.9
UNIVERSAL_FIXED (предопределенный тип), результат мультипликативных операций фиксированного типа      4.5.5
UNIVERSAL_INTEGER (предопределенный тип)      3.5.4; 4.10 C см.
UNIVERSAL_INTEGER (предопределенный тип) целого литерала      2.4 4.2
UNIVERSAL_INTEGER (предопределенный тип), аргумент преобразования      3.3.3 4.6
UNIVERSAL_INTEGER (предопределенный тип), атрибут      3.5.5; 13.7.1 13.7.2 13.7.3 9.9
UNIVERSAL_INTEGER (предопределенный тип), границы дискретного диапазона      3.6.1
UNIVERSAL_INTEGER (предопределенный тип), границы параметра цикла      5.5
UNIVERSAL_INTEGER (предопределенный тип), коды, представляющие значения перечислимого типа      13.3
UNIVERSAL_INTEGER (предопределенный тип), преобразованный к целому типу      3.5.5
UNIVERSAL_INTEGER (предопределенный тип), результат операции типа      4.10; 4.5
USE_ERROR (исключение ввода-вывода)      14.4; 14.2.1 14.2.3 14.2.5 14.3.10 14.5
VAL (предопределенный атрибут)      3.5.5; А
VALUE (предопределенный атрибут)      3.5.5; А
WIDTH (предопределенный атрибут)      3.5.5; А
WRITE (процедура ввода-вывода) в конкретизации настройки пакета DIRECT_IO      14.2.4; 14.1 14.2 14.2.5
WRITE (процедура ввода-вывода) в конкретизации настройки пакета SEQUENTIAL_IO      14.2.2; 14.1 14.2 14.2.3
XOR (операция)      см. «Логическая операция»
YEAR (предопределенная функция)      9.6
Агрегат      4.3; см. также «Агрегат массива» «Агрегат «Совмещение»
Агрегат в генераторе      4.8
Агрегат в квалифицированном выражении      4.7
Агрегат в операторе кода      13.8
Агрегат в спецификаторе представления перечисления      13.3
Агрегат записи      4.3.1; 4.3 см.
Агрегат записи в операторе кода      13.8
Агрегат записи как базовая операция типа      3.3.3; 3.7.4
Агрегат как базовая операция типа      3.3.3; 3.6.2; 3.7.4
Агрегат как первичное      4.4
Агрегат массива      4.3.2; 4.3 см.
Агрегат массива в спецификаторе представления перечисления      13.3
Агрегат массива как базовая операция типа      3.3.3; 3.6.2
Агрегат не должен быть аргументом преобразования      4.6
Агрегат производного типа      3.4
Аддитивная операция      см. также «Бинарная аддитивная операция «Унарная
Аддитивная операция типа      4.5.3
Аддитивная операция типа, точность для вещественного типа      4.5.7
Адрес памяти для компоненты      13.4 см.
Активизация      см. «Активизация задачи»
Активизация задачи      9.3 см. «Распределенные «Спецификатор
Активизация задачи без тела      11.1
Активизация задачи вызывающая синхронизацию      9.10 9.11
Активизация задачи до предвыполнения тела      3.9
Активизация задачи не предусмотрена для аварийной задачи      9.10
Альтернатива      см. «Альтернатива завершения» «Альтернатива «Альтернатива «Альтернатива «Альтернатива «Закрытая «Отбор «Открытая
Альтернатива в операторе      см. «Альтернатива в операторе выбора»
Альтернатива завершения (отбора с ожиданием)      9.7.1 см.
Альтернатива завершения (отбора с ожиданием) в операторе отбора, вызывающая выход из цикла      5.5
Альтернатива завершения (отбора с ожиданием) выбор      9.4
Альтернатива завершения (отбора с ожиданием) выбор в присутствии альтернативы принятия для входа по прерыванию      13.5.1
Альтернатива завершения (отбора с ожиданием) вызывающая передачу управления      5.1
Альтернатива задержки (отбора с ожиданием)      9.7.1
Альтернатива оператора выбора      5.4
Альтернатива отбора (в отборе с ожиданием)      9.7.1
Амперсанд      см. «Катенация»
Амперсанд как ограничитель      2.2
Амперсанд как символ      2.1
Анонимный тип      3.3.1; 3.5.4 3.5.7 3.5.9 3.6 9.1
Анонимный тип, анонимный базовый тип      см. «Первый именованный подтип»
Арифметическая операция      4.5 см. «Операция «Мультипликативная «Предопределенная «Унарная
Арифметическая операция как операция над плавающим типом      3.5.8
Арифметическая операция как операция над фиксированным типом      3.5.10
Арифметическая операция как операция над целым типом      3.5.5
Арифметическая операция, округление для вещественного типа      13.7.3
Атрибут      4.1.4; см. также «Атрибут представления» «Предопределенный
Атрибут в спецификаторе длины
Атрибут в статическом выражении в настраиваемом модуле      12.1
Атрибут входа      9.9
Атрибут дискретного типа или подтипа      3.5.5
Атрибут задачного типа      9.9
Атрибут именуемого типа      3.7.4
Атрибут индексируемого типа      3.6.2
Атрибут как базовая операция типа      3.3.3
Атрибут как имя      4.1
Атрибут как первичное      4.4
Атрибут личного типа      7.4.2; 3.7.4
Атрибут плавающего типа      3.5.8
Атрибут представления      13.7.2; 13.7.3
Атрибут представления как требуемое вхождение      13.1
Атрибут представления с префиксом, имеющим пустое значение      4.1
Атрибут производного типа      3.4
Атрибут ссылочного типа      3.5.8
Атрибут статистического подтипа в статическом выражении      4.9
Атрибут типа      3.3
Атрибут типа как фактическая функция настройки      12.3.6
Атрибут типа с дискриминантами      3.7.4
Атрибут фиксированного типа      3.5.10
Атрибут, зависящий от машины      13.7.3
Атрибут, объект задачного типа      9.9
Атрибут, переименованный как функция      8.5
Атрибут, являющийся функцией      3.5.5
Базовая операция типа      3.3.3 см. «Область «Операции
Базовая операция типа над дискретным типом      3.5.5
Базовая операция типа над задачным типом      9.9
Базовая операция типа над именуемым типом      3.7.4
Базовая операция типа над индексируемым типом      3.6.2
Базовая операция типа над лимитируемым типом      7.4.4
Базовая операция типа над личным типом      3.7.4
Базовая операция типа над плавающим типом      3.5.8
Базовая операция типа над производным типом      3.4
Базовая операция типа над ссылочным типом      3.8.2
Базовая операция типа над фиксированным типом      3.5.10
Базовая операция типа точность для вещественного типа      4.5.7
Базовая операция типа, возбуждающее исключение      11.4.1
Базовая операция типа, неявно описанная      3.1 3.3.3
Базовая операция типа, распространяющая исключение      11.6
Базовая операция типа, являющаяся атрибутом      4.1.4
Безусловное завершение задачи      см. «Аварийная задача» «Оператор
Библиотечный модуль      10.1; 10.5 см. компилируемый «Предопределенная «Предопределенный «Программный «Стандартный «Субмодуль»
Библиотечный модуль не должен указываться в спецификаторе адреса      13.5
Библиотечный модуль перекомпилированный      10.3
Библиотечный модуль со следом тела      10.2
Библиотечный модуль является пакетом      7.1
Библиотечный модуль — предок      10.2

Библиотечный модуль, видимость, обусловленная спецификатором совместности      8.3
Библиотечный модуль, включенный в предопределенный пакет STANDARD      8.6
Библиотечный модуль, имя которого требуется в компилируемом модуле      10.1.1
Библиотечный модуль, компилируемый до соответствующего тела      10.3
Библиотечный модуль, область видимости      8.2
Библиотечный модуль, следующий за прагмой INLINE      6.3.2
Библиотечный модуль, указанный в спецификаторе использования      10.5
Библиотечный модуль, указанный в спецификаторе совместности      10.1 10.3 10.5
Библиотечный модуль, указанный прагмой INTERFACE      13.9
Библиотечный пакет      см. «Библиотечный модуль» «Пакет»
Библиотечный пакет, имеющий зависимые задачи      9.4
Бинарная аддитивная операция      4.5; 4.5.3 C см. «Совмещение
Бинарная аддитивная операция в простом выражении      4.4
Бинарная аддитивная операция для предопределенного типа TIME      9.6
Бинарная аддитивная операция совмещенная      6.7
Бинарная операция типа      4.5
Бит      см. «Биты памяти»
Биты памяти для компоненты записи относительно начала единицы памяти      13.4
Биты памяти, отводимые под объект или тип      13.2; 13.7.2 см.
Биты памяти, размер единицы памяти      13.7
Больше или равно, операция      см. «Операция отношения»
Больше или равно, составной ограничитель      2.2
Больше, ограничитель      2.2
Больше, операция      см. «Операция отношения»
Больше, символ      2.1
Буква      2.3 см. «Строчная
Буква в идентификаторе
Буква в литерале с основанием      2.4.2
Буква е или Е в десятичном литерале      2.4.1
Буква_или_цифра      2.3
Вариант      3.7.3; 4.1.3 см. «Спецификатор
Вариант в разделе вариантов      3.7.3
Ввод-вывод      14 см. «IO_EXCEPTIONS» «LOW_LEVEL_IO» «SEQUENTIAL_IO» «TEXT_IO»
Ввод-вывод на уровне устройства      14.6
Ввод-вывод с последовательным файлом      14.2.2
Ввод-вывод с текстовым файлом      14.3
Ввод-вывод с файлом прямого доступа      14.2.4
Ввод-вывод текста      14.3; 14.2.1
Ввод-вывод, исключения      14.4; 14.5
Ведущие нули в числовом литерале      2.4.1
Верхняя граница      см. «Атрибут LAST» «Граница»
Вещественный литерал      2.4 см.
Вещественный литерал с десятичным основанием      2.4.1
Вещественный литерал с заданным основанием      2.4.2
Вещественный литерал типа универсальный_вещественный      3.5.6
Вещественный тип      3.5.6; 3.3 3.5 D см. «Универсальный «Скалярный «Фиксированный «Числовой
Вещественный тип, атрибут представления      13.7.3
Вещественный тип, результат операции типа, выводящий за границы диапазона      4.5.7
Вещественный тип, результат преобразования числового типа      4.5.7; 4.6
Вещественный тип, точность операции типа      4.5.7
Взаимодействие задач      см. «Рандеву»
Взаимодействие значений между задачами      9.5; 9.11
Взаимодействие между задачами      см. «Вход» «Оператор «Рандеву»
Вид (файла)      14.1; 14.2.1
Вид (файла) по умолчанию      14.2.1; 14.2.3 14.2.5 14.3.10
Вид (файла), текстовый файл      14.3.1 14.3.4
Вид (файла), файл последовательного доступа      14.2 14.2.3
Вид (файла), файл прямого доступа      14.2 14.2.5
Вид (формального параметра)      6.2; 6.1 D см. «Формальный
Вид (формального параметра) формального объекта настройки      12.1.1
Вид (формального параметра) формального параметра переименованного входа или подпрограммы      8.5
Вид (формального параметра) формального параметра производной подпрограммы      3.4
Вид IN OUT для формального объекта настройки      12.1.1; 3.2.1 12.3 12.3.1
Вид IN OUT для формального параметра      6.1 6.2;
Вид IN OUT для формального параметра входа прерывания недопустимо      13.5.1
Вид IN OUT для формального параметра функции недопустимо      6.5
Вид IN для формального объекта настройки      12.1.1; 3.2.1 12.3 12.3.1
Вид IN для формального параметра      6.1 6.2;
Вид IN для формального параметра входа прерывания      13.5.1
Вид IN для формального параметра функции      6.5
Видимость      8.3; 8.2 D см. «Имя» «Непосредственная «Операция «Совмещение»
Видимость базовой операции типа      8.3
Видимость библиотечного модуля, определяемая спецификатором совместности      8.6 10.1.1
Видимость в субмодуле      10.2
Видимость и переименование      8.5
Видимость идентификатора      8.4 8.7;
Видимость имени подключения      11.2
Видимость операции типа, описанной в пакете      7.4.2
Видимость описаний в спецификации пакета      7.2
Видимость описаний в теле пакета      7.3
Видимость описаний пакета SYSTEM      13.7
Видимость описания переименования      8.5
Видимость по именованию      8.3 см. «Знак «Именуемый «Операция «Символьный
Видимость по умолчанию для формальной подпрограммы настройки      12.3.6
Видимость подпрограммы, описанной в пакете      6.3
Видимость при именовании      см. «Видимость по именованию»
Видимость символьного литерала      8.3
Видимость формального параметра настройки      12.3
Видимость, определяемая спецификатором использования      8.4
Видимость, определяющая несколько смыслов для идентификатора      8.4 8.7;
Видимость, определяющая порядок компиляции      10.3
Видимый раздел (пакета)      7.2; 3.2.1 7.4.1 7.4 7.4.3 D см. «Описание
Видимый раздел (пакета), видимость описания в видимом разделе      8.3
Видимый раздел (пакета), область действия описания видимого раздела      4.1.3
Видимый раздел (пакета), расширенное имя, обозначающее описание в видимом разделе      8.2
Видимый раздел (пакета), спецификатор использования, именующий пакет      8.4
Включающая дизъюнкция      см. «Логическая операция»
Внешний файл      14.1 см.
Возбуждение исключения      11; 11.3 D см.
Возбуждение исключения, приводящее к передаче управления      5.1
Возврат      см. «Возврат каретки»
Возвращаемое значение      см. «Вызов функции»
Возвращаемое значение вызова функции      5.8 6.5;
Возвращаемое значение главной программы      10.1
Возвращаемое значение операции типа      3.3.3
Возвращаемое значение предопределенной операции вещественного типа      3.5.6 4.5.7
Возвращаемое значение предопределенной операции целого типа      3.5.4
Возвращаемое значение экземпляра формальной функции настройки      12.1.3
Восклицательный знак, заменяющий вертикальную черту      2.10
Восклицательный знак, как символ      2.1
Временный вызов входа      9.7.3; 9.7
Временный вызов входа и переименованный вход      9.5
Временный вызов входа, аргумент спецификатора адреса      13.5.1
Вставка машинного кода      13.8
Вторичный модуль      10.1 см. «Компилируемый
Вторичный модуль, компилируемый после соответствующего библиотечного модуля или родительского модуля      10.3
Вторичный модуль, указанный в прагме ELABORATE      10.5
Вход (задачи)      9.5; 9 9.2 D см. «Атрибут «Вход «Параметр» «Подпрограмма» «Профиль «Фактический «Формальный
Вход (задачи) параметра      12.3
Вход (задачи) переименованный      8.5
Вход (задачи) производного задачного типа      3.4
Вход (задачи), заданный в спецификаторе адреса      13.5 13.5.1
Вход (задачи), заданный в спецификаторе представления      13.1
Вход (задачи), имя      см. «Имя входа»
Вход (задачи), имя, начинающееся с префикса      4.1
Вход (задачи), обозначенный именованной компонентой      4.1.3
Вход (задачи), обозначенный индексируемой компонентой      4.1.1
Вход (задачи), описанный конкретизацией формального параметра настройки      12.3
Вход задачи, указанной объектом задачного типа      9.5
Вход по прерыванию      13.5.1 см.
Выбор      3.7.3 см.
Выбор в агрегате      4.3
Выбор в агрегате записи      4.3.1
Выбор в агрегате массива      4.3.2
Выбор в альтернативе оператора выбора      5.4
Выбор в варианте определения именуемого типа      3.7.3
Выбор в сопоставлении компоненты      4.3 4.3.1 4.3.2
Выбор исключения      11.2
Выбор обработчика исключения      11.4 11.4.1 11.4.2;
Вызов      см. «Временный вызов входа» «Вызов «Вызов «Оператор «Оператор «Условный
Вызов входа      9.5; 9.7.1 9.7.2 9.7.3 см. «Вызов «Вызов «Фактический
Вызов входа аварийной задачи      9.5 9.10 11.5;
Вызов входа для передачи значений      9.11
Вызов подпрограммы      6.4 6 6.3 12.3 см. «Вызов «Вызов «Оператор «Оператор «Фактический
Вызов подпрограммы прежде предвыполнения тела      3.9 11.1
Вызов подпрограммы, оператор, замещенный вставкой тела      6.3.2
Вызов процедуры      6.4 6 D см.
Вызов функции      6.4; 6 см. «Фактический
Вызов функции в статическом выражении      4.9
Вызов функции как первичное      4.4

1 2 3 4 5 6 7 8 9 10 11

О проекте