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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Значение в константе      3.2.1; 3.2
Значение в переменной      3.2.1 5.2;
Значение десятичного литерала      2.4.1
Значение задачного типа      см. «Указанная задача»
Значение именуемого типа      3.7
Значение именуемого типа с дискриминантами      3.7.1
Значение индексируемого типа      3.6; 3.6.1 см. «Отрезок»
Значение литерала с основанием      2.4.2
Значение логического типа      3.5.3
Значение плавающего типа      3.5.7 4.5.7
Значение символьного литерала      2.5
Значение символьного типа      3.5.2; 2.5 2.8
Значение ссылочного типа      см. «Указанный объект» «Указанный
Значение строкового литерала      2.6; 2.10
Значение фиксированного типа      3.5.9 4.5.7
Значение, возвращаемое вызовом функции      см. «Возвращаемое значение»
Зона описания      8.1; 8.2 8.4 см.
Зона описания, STANDARD      8.6
Зона описания, в которой некоторое описание скрыто      8.3
Зона описания, включающая описание подпрограммы      6.3
Зона описания, включающая полное определение типа      7.4.2
Зона описания, образованная предопределенным пакетом
Зона описания, определяющая видимость описания      8.3
Зона описания, сопоставленная описанию или оператору      8.1
Идентификатор      2.3; 2.2 см. «Имя» «Область «Параметр простое «Прямая «Совмещение...»
Идентификатор аргумента прагмы      2.8
Идентификатор библиотечного модуля      10.1
Идентификатор в его собственном описании      8.3
Идентификатор в конкретизации настройки      12.3
Идентификатор в неполном описании типа      3.8.1
Идентификатор в описании входа      9.5
Идентификатор в описании исключения      11.1
Идентификатор в описании личного типа      7.4 7.4.1
Идентификатор в описании объекта      3.2
Идентификатор в описании переименования      8.5
Идентификатор в описании субконстанты      7.4.3
Идентификатор в описании типа      3.3.1; 7.4.1
Идентификатор в описании числа      3.2.2
Идентификатор в отличие от простого имени      3.1
Идентификатор в прагме SYSTEM_NAME      13.7
Идентификатор в спецификации задачи      9.1
Идентификатор в спецификации пакета      7.1
Идентификатор значения перечислимого типа      3.5.1
Идентификатор и смежный разделитель      2.2
Идентификатор как зарезервированное слово      2.9
Идентификатор как обозначение      6.1
Идентификатор как обозначение атрибута      4.1.4
Идентификатор как простое имя      4.1
Идентификатор может быть написан с помощью набора основных символов      2.10
Идентификатор настраиваемого модуля      12.1
Идентификатор описания омонима      8.3
Идентификатор пакета      7.1
Идентификатор подпрограммы      6.1
Идентификатор подтипа      3.3.2
Идентификатор прагмы      2.8
Идентификатор совмещенный      6.6
Идентификатор субмодуля      10.2
Идентификатор формального объекта настройки      12.1; 12.1.1
Идентификатор формального параметра формальной подпрограммы настройки      12.1.3
Идентификатор формального типа настройки      12.1; 12.1.2
Идентификатор формальной подпрограммы настройки      12.1; 12.1.3
Идентификатор, обозначающий значение      3.2.2
Идентификатор, обозначающий объект      3.2.1
Изменение значения объекта      8.2
Именованная компонента      4.1.3; 8.3 D см. «Видимость «Непосредственная «Постфикс» «Префикс»
Именованная компонента в согласованной конструкции      6.3.1
Именованная компонента для видимости при именовании      8.3
Именованная компонента как базовая операция типа      3.3.3; 3.3 3.7.4 3.8.2 7.4.2
Именованная компонента как имя      4.1
Именованная компонента как имя входа или семейства входов      9.5
Именованная компонента, использующая имя блока      5.6
Именованная компонента, использующая имя цикла      5.5
Именованная компонента, начинающаяся с идентификатора STANDARD      8.6
Именованная компонента, префикс которой обозначает задачный объект      8.3
Именованная компонента, префикс которой обозначает объект записи      8.3
Именованная компонента, префикс которой обозначает пакет      8.3
Именованное сопоставление      8.4.2; D см. «Сопоставление «Сопоставление «Сопоставление
Именованное число      3.2; 3.2.2
Именованное число в качестве первичного      4.4
Именованное число в качестве понятия      3.1
Именованное число в статическом выражении      4.9
Именованный оператор блока      см. «Имя блока»
Именованный оператор цикла      см. «Имя цикла»
Именуемый тип      3.7; 3.3 D см. «Дискриминант» «Компонента» «Соответствующие «Составной «Подкомпонента» «Тип
Именуемый тип, включая лимитируемую подкомпоненту      7.4.4
Именуемый тип, операция типа      3.7.4
Именуемый тип, формальный параметр      6.2
Имя (понятия)      4.1; 2.3 3.1 D см. «Видимость» «Вызов «Вычисление...» «Знак «Именованная «Имя «Имя «Индексированная «Метка» «Обозначать «Обозначение_типа» «Описание «Отрезок» «Простое «Требуемое «Указатель»
Имя (понятия) в качестве аргумента прагмы      2.8
Имя (понятия) в качестве выражения в операторе выбора      5.4
Имя (понятия) в качестве первичного      4.4
Имя (понятия) в качестве префикса      4.1
Имя (понятия), вырабатываемое реализацией      13.4
Имя (понятия), конфликтное описание      8.5
Имя (понятия), начинающееся в префикса      4.1; 4.1.1 4.1.2 4.1.3 4.1.4
Имя (понятия), обозначающее объект, указываемый ссылочным значением      4.1
Имя (понятия), обозначающее понятие      4.1
Имя (понятия), описанное в настраиваемом модуле      12.3
Имя (понятия), описанное переименованием недопустимо в качестве префикса некоторых расширенных имен      4.1.3
Имя блока      5.6
Имя блока, неявно описанное      3.1
Имя блока, описание      5.1
Имя цикла      5.5
Имя цикла в операторе выхода      5.7
Имя цикла, описание      5.1
Имя цикла, описанное неявно      3.1
Индекс      3.6; D см. «Индекс «Массив»
Индекс входа (в имени входа семейства)      9.5
Индекс входа (в имени входа семейства) в условном вызове входа      9.7.2
Индекс входа (в имени входа семейства) во временном вызове входа      9.7.3
Индекс входа (в имени входа семейства) для открытой альтернативы принятия      9.7.1
Индекс элемента в файле прямого доступа      14.2; 14.2.4
Индексированная компонента      4.1.1; 3.6 D
Индексированная компонента, значения формального индексируемого типа настройки      12.1.2
Индексированная компонента, как базовая операция типа      3.3.3; 3.3 3.6.2 3.8.2
Индексированная компонента, как имя      4.1
Индексированная компонента, как имя входа      9.5
Индексируемый тип      3.8; 3.3 D см. «Компонента» «Неограниченный...» «Ограниченный...» «Ограниченный «Отрезок» «Пустой «Согласующиеся «Составной
Индексируемый тип для префикса индексируемой компоненты      4.1.1
Индексируемый тип для префикса отрезка      4.1.2
Индексируемый тип как параметр настройки      12.3.4
Индексируемый тип как полный тип      7.4.1
Индексируемый тип как тип формального параметра      6.2
Индексируемый тип как формальный тип настройки      12.3.4
Индексируемый тип, операция над массивом логических компонент      4.5.1 4.5.6
Индексируемый тип, операция типа      3.6.2; 4.5.2 4.5.3
Индексируемый тип, преобразование      4.6
Индексируемый тип, тип компоненты которого имеет дискриминанты      3.7.2
Индексируемый тип, тип компоненты которого лимитируем      7.4.4
Инициализация      см. «Выражение по умолчанию» «Инициализация «Начальное «Присваивание»
Инициализация по умолчанию (для объекта)      3.2.1 3.3 см. «Начальное «Начальное
Интерфейс с другими языками      13.9
Исключающая дизъюнкция      см. «Логическая операция»
Исключение      11; 1.6 D см. «Оператор «Предопределенное «СОNSTRAINT_ERROR» «NUMERIC_ERROR» «PROGRAM_ERROR» «STORAGE_ERROR» «TASKING_ERROR» «TIME_ERROR»
Исключение и оптимизация      11.6
Исключение оператора      11.4.1; 11.4
Исключение оператора принятия      11.5
Исключение отбора с ожиданием      9.7.1
Исключение переименованное      8.5
Исключение при вводе-выводе      14.4 14.5
Исключение раздела описаний, в котором описаны задачи      9.3
Исключение, возбуждаемое при выполнении или предвыполнении активизации задачи      9.3
Исключение, временного вызова входа      9.7.3
Исключение, вызова подпрограммы      6.3; 6.2 6.5
Исключение, вызываемое вычислением выражение во время компиляции      10.6
Исключение, вызывающее выход из цикла      5.5
Исключение, вызывающее передачу управления      5.1
Исключение, генератора задачи      9.3
Исключение, задачи      11.5
Исключение, конкретизации настройки      12.3.1 12.3.2 12.3.4 12.3.5

Исключение, неявно описанное в конкретизации настройки      11.1
Исключение, описания      11.4.2; 11.4
Исключение, прагма SUPPRESS      11.7
Исключение, условного вызова входа      9.7.2
Квалификация      4.7
Квалификация как базовая операция типа      3.3.3; 3.3 3.5.5 3.5.8 3.5.10 3.6.2 3.7.4 3.8.2 7.4.2
Квалификация, использование имени перечисленного типа в качестве квалификатора      3.5.1
Квалифицированное выражение      4.7
Квалифицированное выражение в генераторе      4.8
Квалифицированное выражение в операторе выбора      5.4
Квалифицированное выражение в статическом выражении      4.9
Квалифицированное выражение как первичное      4.4
Квалифицированное выражение, квалификация агрегата массива      4.3.2
Квалифицированное выражение, разрешить неоднозначность совмещения      6.6
Квант памяти      13.7
Квант памяти, размер единицы памяти в битах      13.7
Квант памяти, смещение к началу компоненты записи      13.4
Кванты памяти, отведенные      см. «STORAGE_SIZE»
Кванты памяти, отведенные под запуск задачи      13.2; 9.9 11.1 13.7.2
Кванты памяти, отведенные под набор      13.2; 4.8 11.1 13.7.2
Класс типа      3.3; 12.1.2 см. «Личный «Скалярный «Составной «Ссылочный
Класс типа для производного типа      3.4
Комментарий      2.7; 2.2
Комментарий в согласованных конструкциях      6.3.1
Компилируемый модуль      10.1; 10 10.4 D см. вторичный
Компилируемый модуль со спецификатором использования      8.4
Компилируемый модуль со спецификатором контекста      10.1.1
Компилируемый модуль, за которым следует прагма INLINE      6.3.2
Компилируемый модуль, компилируется после библиотечных модулей, указанных в его спецификаторе контекста      10.3
Компилятор      10.4
Компиляция      10.1; 10 10.4
Компиляция как последовательность лексем      2
Компиляция, включающая прагму INLINE      6.3.2
Компонента (составного типа)      3.3; 3.6 3.7 D см. «Дискриминант» «Зависимость «Именованная «Именуемый «Индексируемая «Объект» «Подкомпонента» «Сопоставление «Составной «Спецификатор «Список
Компонента (составного типа) агрегата      4.3
Компонента (составного типа) записи      3.7 см.
Компонента (составного типа) константы      3.2.1
Компонента (составного типа) личного типа      7.4.2
Компонента (составного типа) массива      3.6 см.
Компонента (составного типа) объекта      3.2
Компонента (составного типа) переменной      3.2.1
Компонента (составного типа) производного типа      3.4
Компонента (составного типа), зависящий от дискриминанта      3.7.1; 11.1
Компонента (составного типа), имя, начинающееся с префикса      4.1
Компонента (составного типа), подтип компоненты      3.7
Компонента (составного типа), подтип, являющийся составным типом      3.6.1 3.7.2
Компонента (составного типа), простое имя компоненты как выбор      3.7.3
Компонента (составного типа), чей тип является лимитируемым      7.4.4
Компонента (составного типа), являющийся задачным объектом      9.3
Компонента массива      см. «Компонента индексируемая индексируемый
Конец строчки      2.2
Конец строчки как разделитель      2.2
Конец строчки, завершающий комментарий      2.7
Конец строчки, создаваемый символом управления форматом      2.2
Конкатенация      см. «Катенация»
Конкретизация      см. «Конкретизация настройки»
Конкретизация настройки      12.3; 12.1 12.1.3 12.2 D см. «Предвыполнение...» «Фактический
Конкретизация настройки до предвыполнения тела      3.9 11.1
Конкретизация настройки как библиотечный модуль      10.1
Конкретизация настройки как вспомогательный элемент описания      3.9
Конкретизация настройки как основное описание      3.1
Конкретизация настройки неявно описывающая исключение      11.1
Конкретизация настройки перекомпилированная      10.3
Конкретизация настройки предопределенного пакета ввода-вывода      14.1
Конкретизация настройки с формальной подпрограммой      12.3.6
Конкретизация настройки с формальным индексируемым типом      12.3.4
Конкретизация настройки с формальным скалярным типом      12.3.3
Конкретизация настройки, обращающаяся к операции фактического типа настройки      12.1.2
Константа      3.2.1; D см. «Параметр «Субконстанта»
Константа в статическом выражении      4.9
Константа объект ссылочного типа — константа      3.8
Константа переименованная      8.5
Константа формальный параметр настройки — константа      12.1.1 12.3
Константа формальный параметр — константа      6.2
Константа являющаяся отрезком      4.1.2
Контекст разрешения совмещения      8.7 см.
Конъюнкция      см. «Логическая операция»
Копирование (передача параметров)      8.2
Левая скобка ограничителя      2.2
Левая скобка символа      2.1
Лексема      2 2.2; 2.5 2.6 D
Лексема в конструкции, требующей согласования      6.3.1
Лексема как точка текста программы      8.3
Лексема, передаваемая процедурой из пакета TEXT_IO      14.3 14.3.5 14.3.9
Лексикографический порядок      4.5.2
Ликвидация невыполняемого кода      см. «Условная компиляция»
Лимитируемый личный тип      7.4.4 см.
Лимитируемый личный тип в качестве фактического типа настройки      12.3.2
Лимитируемый личный тип в качестве формального типа настройки      12.1.2
Лимитируемый тип      7.4.4; 9.2 12.3.1 D см. «Операция «Операция «Предопределенная «Присваивание»
Лимитируемый тип в описании объекта      3.2.1
Лимитируемый тип как полный тип      7.4.1
Лимитируемый тип, компонент записи      3.7
Лимитируемый тип, лимитируемый именумый тип      3.7.4
Лимитируемый тип, операция типа      7.4.4; 4.5.2
Лимитируемый тип, параметры для неявно описанных операций равенства      6.7
Лимитируемый тип, формальный объект настройки      12.1.1
Листинг текста программы      см. «Прагма LIST» «Прагма
Листинг, генерируемый компилятором      см. «Оптимизация» «Прагма
Литерал      4.2; D см. «Десятичный «Литерал «Литерал литерал «Символьный совмещение...» «Строковый «Целый «Числовой
Литерал NULL      3.8 4.2 см.
Литерал NULL в качестве базовой операции типа      3.3.3; 3.8.2
Литерал NULL в качестве первичного      4.4
Литерал NULL не должен быть аргументом преобразования      4.6
Литерал как базовая операция типа      3.3.3
Литерал перечисления      3.5.1 4.2 см. «Совмещение»
Литерал перечисления в прагме SISTEM_NAME      13.7
Литерал перечисления в статическом выражении      4.9
Литерал перечисления как оператор      3.5.5
Литерал перечисления как операция типа      3.3.3
Литерал перечисления как параметр атрибута VALUE      3.5.5
Литерал перечисления как результат атрибута IMAGE      3.5.5
Литерал перечисления неявно описанный      3.3.3
Литерал перечисления представление      13.3
Литерал перечисления производного типа      3.4
Литерал перечисления совмещенный      8.3
Литерал перечисления, переименованный как функция      8.5
Литерал производного типа      3.4
Литерал пустая строчка      2.8
Литерал универсального вещественного типа      3.5.6
Литерал универсального целого типа      3.5.4
Литерал, спецификация      см. «Спецификация литерала перечисления»
Личный раздел (пакета)      7.2; 7.4.1 7.4.3 D см. «Описание
Личный тип      3.3; 7.4 7.4.1 D см. «Лимитируемый «Производный «Тип
Личный тип как родительский тип      3.4
Личный тип как фактический тип настройки      12.3.2
Личный тип как формальный тип настройки      12.1.2
Личный тип, операция типа      7.4.2
Личный тип, соответствующий полному описанию типа      3.3.1
Личный тип, субконстанты      7.4 3.2.1
Личный тип, формальный параметр личного типа      6.2
Логическая операция      4.5; 4.4 4.5.1 C см. «Совмещение
Логическая операция в выражении      4.4
Логическая операция для индексируемого типа      3.6.2
Логическая операция как операция над логическим типом      3.5.5
Логическая операция совмещенная      6.7
Логическая операция типа      4.5.1
Логический процессор      9
Логический тип      3.5.3 см. «Производный
Логический тип, операция типа      3.5.5; 4.5.1 4.5.6
Логический тип, операция типа, сравнивающая вещественные операнды      4.5.7
Логическое выражение      см. «Выражение» «Условие»
Локальное описание      8.1
Локальное описание в настраиваемом модуле      12.3
Максимальная длина страницы      14.3
Максимальная длина строчки      14.3
Мантисса, числа плавающего типа      3.5.7; 13.7.3
Мантисса, числа фиксированного типа      3.5.9
Математически правильный результат числовой операции типа      4.5; 4.5.7
Меньше или равно, операция      см. «Операция отношения»

1 2 3 4 5 6 7 8 9 10 11

О проекте