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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

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

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

Вызов функции как префикс      4.1 4.1.3
Вызов функции с параметром производного типа      3.4
Вызов функции с результатом производного типа      3.4
Выполнение      см. «Задача» «Оператор» «Последовательность «Тело
Выполнение задачи      9.3
Выражение      4.4; D см. «Выражение «Выражение «Вычисление» «Вычисление «Квалифицированное «Статическое
Выражение в имени переменной      5.2 6.4.1 12.3
Выражение в индексируемой компоненте      4.1.1
Выражение в квалифицированном выражении      4.7
Выражение в описании объекта      3.2 3.2.1
Выражение в описании числа      3.2
Выражение в первичном      4.4
Выражение в преобразовании типа      4.7
Выражение в разделе формальных параметров настройки      12.1
Выражение в скобках в статическом выражении      4.9
Выражение в скобках как первичное      4.4 4.5
Выражение в сопоставлении дискриминанта      3.7.2
Выражение в спецификаторе длины      13.2
Выражение в спецификации дискриминанта      3.7.1
Выражение в спецификации параметра      6.1
Выражение в спецификации представления      13.1
Выражение в спецификации производной подпрограммы      3.4
Выражение в фактическом параметре условного вызова входа      9.7.2
Выражение задержки      9.6; 9.7.1 см.
Выражение задержки во временном вызове входа      9.7.3
Выражение как аргумент прагмы      2.8
Выражение как условие      5.3
Выражение как фактический параметр      6.4 6.4.1
Выражение как фактический параметр настройки      12.3; 12.3.1
Выражение отношения      см. «Отношение» «Операция
Выражение по умолчанию      см. «Инициализация по умолчанию» «Начальное «Спецификация «Формальный «Формальный
Выражение по умолчанию в описании компоненты      3.7
Выражение по умолчанию в спецификации дискриминанта      3.7.1
Выражение по умолчанию для дискриминанта      3.7.1; 3.2.1 3.7.2 12.3.2
Выражение по умолчанию для дискриминантов генерируемого объекта      4.8
Выражение по умолчанию для компоненты      3.3; 7.4.3 7.4.4
Выражение по умолчанию для компоненты объекта производного типа      3.4
Выражение по умолчанию для формального объекта настройки      12.1 12.1.1 12.3
Выражение по умолчанию для формального параметра      6.1 6.4.2; 6.7 7.4.3
Выражение по умолчанию для формального параметра переименованной подпрограммы или входа      8.5
Выражение по умолчанию для формального параметра формальной подпрограммы настройки      12.1; 7.4.3
Выражение по умолчанию не может включать определяющего вхождения      13.1
Выражение по умолчанию, включающая имя личного типа      7.4.1
Выражение с результатом логического типа      4.5.1 4.5.2 4.5.6
Выражение универсального типа      4.10
Выражение универсального типа в обозначении атрибута      4.1.4
Выражение универсального типа неявно преобразуемое вещественного типа      4.5.7
Выражение универсального типа присваивание      5.2
Выражение универсального типа, которое является статическим      4.10
Выражение целого типа в спецификаторе длины      13.2
Выражение целого типа в спецификаторе представления записи      13.4
Выражение числового типа в спецификаторе длины      13.2
Выражение, задающее вход из семейства входов      4.1.1
Выражение, задающее значение индекса      4.1.1
Вычисление (выражения)      4.5; D см. «Вычисление
Вычисление (выражения) агрегата      4.3 3.3.3
Вычисление (выражения) агрегата записи      4.3.1
Вычисление (выражения) агрегата массива      4.3.2
Вычисление (выражения) в индексируемой компоненте      4.1.1
Вычисление (выражения) во время компиляции      4.9; 10.6
Вычисление (выражения) выражения в ограничении      3.3.2
Вычисление (выражения) выражения в операторе присваивания      5.2
Вычисление (выражения) выражения в фактическом параметре настройки      12.3
Вычисление (выражения) выражения по умолчанию      3.7.2
Вычисление (выражения) выражения по умолчанию для формального параметра      6.4.2; 6.1
Вычисление (выражения) границ параметра цикла      5.5
Вычисление (выражения) дискретного диапазона      3.5 9.5
Вычисление (выражения) дискретного диапазона, используемого в ограниченном индексе      3.6.1
Вычисление (выражения) имени      4.1; 4.1.1 4.1.2 4.1.3 4.1.4
Вычисление (выражения) имени в операторе прекращения      9.10
Вычисление (выражения) имени в описании переименования      8.5
Вычисление (выражения) имени переменной      5.2 6.4.1 12.3
Вычисление (выражения) индекса входа      9.5
Вычисление (выражения) квалифицированного выражения      4.7 4.8
Вычисление (выражения) литерала      4.2; 3.3.3
Вычисление (выражения) логической операции      4.5.1
Вычисление (выражения) преобразования типа      4.6
Вычисление (выражения) статического выражения      4.9
Вычисление (выражения) универсального выражения      4.10
Вычисление (выражения) условий отбора с ожиданием      9.7.1
Вычисление (выражения) формы управления с промежуточной проверкой      4.5.1
Вычисление выражений во время компиляции      10.6; 4.9
Генератор      4.8; 3.8 D см. набор» «Начальное «Объект» «Совмещение» «Ссылочный
Генератор без проверки памяти      11.7
Генератор для задачного типа      9.2 9.3
Генератор для именуемого типа      3.7.2
Генератор для индексируемого типа      3.6.1
Генератор для личного типа      7.4.1
Генератор для ссылочного формального типа настройки      12.1.2
Генератор как базовая операция типа      3.3.3; 3.8.2
Генератор как первичное      4.4
Генератор не должен быть аргументом преобразования      4.6
Генератор, возбуждающий исключение STORAGE_ERROR при исчерпании памяти под набор      11.1
Генератор, создающий объект с дискриминантом      4.8 5.2
Генератор, устанавливающий задачное значение      9.2
Главная программа      10.1
Главная программа, включенная в предопределенный пакет STANDARD      8.6
Главная программа, возбуждение исключения      11.4.1 11.4.2
Главная программа, выполнение, требующее предвыполнения библиотечных модулей      10.5
Главная программа, завершение      9.4
Главная программа, учитывая приоритет прагмы      9.8
Глобальное описание      8.1
Глобальное описание переменной, разделяемой задачами      9.11
Головная (задача)      9.4
Горизонтальная табуляция в пакете вывода TEXT_IO      14.3.5
Горизонтальная табуляция как разделитель      2.2
Горизонтальная табуляция, символ в комментарии      2.7
Горизонтальная табуляция, символ управления форматом      2.1
Граница      см. «Атрибут LAST» «Атрибут «Граница
Граница диапазона      3.5; 3.5.4
Граница диапазона, дискретного диапазона в отрезке      4.1.2
Граница диапазона, дискретного диапазона, имеющего универсальный целый тип      3.6.1
Граница диапазона, статического дискретного диапазона      4.9
Граница массива      3.6; 3.6.1 см. «Отрезок»
Граница массива в генерируемом объекте      4.8
Граница массива представленного агрегатом      4.3.2
Граница массива, игнорируемая за счет подавления проверки INDEX_CHECK      11.7
Граница массива, инициализация генератора ограничивает генерируемый объект      4.8
Граница массива, являющегося результатом операции типа      4.5.1 4.5.3 4.5.6
Граница массива, являющегося формальным параметром      6.2
Граница отрезка      4.1.2
Граница скалярного типа      3.5
Границы массива      см. «Граница массива»
Границы массива индексируемого подтипа      3.6
Границы массива как дискретный диапазон      3.6
Границы массива предопределенного целого типа      3.5.4
Границы массива целого типа как результата операции типа      4.5
Границы ошибки предопределенной операции над вещественным типом      3.5.9 4.5.7; 3.5.7
Графический знак      2.1 см.
Графический знак недопустим      2.10
Графический символ      2.1 см. «Основной «Символ» «Строчная
Графический символ в символьном литерале      2.5
Графический символ в строковом литерале      2.6
Групповая спецификация дискриминанта      3.7.1; 3.2
Групповая спецификация параметра      6.1; 3.2
Групповое описание компоненты      3.7; 3.2
Групповое описание объекта      3.2
Групповое описание параметра настройки      12.1; 3.2
Групповое описание субконстанты      7.4; 3.2
Групповое описание числа      3.2.2; 3.2
Дата      см. «Время» «Год» «День» «Месяц»
Два дефиса, начинающие комментарий      2.7
Двоеточие      см. также «Литерал с основанием»
Двоеточие как ограничитель      2.2
Двоеточие как символ      2.1
Двоеточие как символ, заменяющий символ решетки      2.10
Деление, ограничитель      2.2
Деление, символ      2.1
Дельта (фиксированного типа)      3.5.9 см.
Дельта (фиксированного типа) типа универсальный_фиксированный      4.5.5

Десятичная точка      см. «Плавающий» «Символ «Фиксированный»
Десятичное число (в пакете TEXT_IO)      14.3.7
Десятичный литерал      2.4.1; 14.3.7 14.3.8
Десятичный литерал как числовой литерал      2.4
Диапазон      3 5; см. «Пустой
Диапазон в отношении      4.4
Диапазон в спецификаторе представления записи      13.4
Диапазон вещественного типа как результата операции типа      4.5
Диапазон выполненного атрибута      4.1.4
Диапазон вырабатываемый атрибутом      4.1.4
Диапазон дискретный диапазон      3.6
Диапазон индекса      3.6
Диапазон индекса сопоставленный      4.5.2
Диапазон подтипа индекса      3.6
Диапазон предопределенного целого типа      3.5.4
Диапазон целого типа, содержащий результат операции типа      4.5
Дизъюнкция      см. «Логическая операция»
Дискрет модельного числа фиксированного типа      3.5.9
Дискретный диапазон      3.6 3.6.1 см. «Статический
Дискретный диапазон в выборе оператора выбора      5.4
Дискретный диапазон в ограничении индекса      3.6
Дискретный диапазон в описании формального индексируемого типа настройки      12.1.2; 12.3.4
Дискретный диапазон в отрезке      4.1.2
Дискретный диапазон в спецификации параметра цикла      5.5
Дискретный диапазон для параметра цикла      5.5
Дискретный диапазон индексов входа в описании входа      9.5
Дискретный диапазон как выбор      3.6 3.6.1
Дискретный диапазон как выбор в агрегате      4.3
Дискретный тип      3.5; D см. «Индекс» «Операция «Перечислимый «Скалярный «Схема «Целый
Дискретный тип в агрегате записи      4.3.1
Дискретный тип выражения в операторе выбора      5.4
Дискретный тип дискриминанта      3.7.1
Дискретный тип значений индексов массива      3.6
Дискретный тип инициализация дискриминанта в генераторе ограничивает генерируемый объект      4.8
Дискретный тип как подкомпонента объекта      3.2.1
Дискретный тип как фактический параметр настройки      12.3.3
Дискретный тип как формальный тип настройки      12.1.2
Дискретный тип личного типа      7.4.2; 3.3
Дискретный тип неявно инициализуемого объекта      3.2.1
Дискретный тип объекта, указываемого ссылочным значением      3.7.2; 5.2
Дискретный тип операции типа      3.5.5 4.5.2
Дискретный тип параметра цикла      5.5
Дискретный тип производного типа      3.4
Дискретный тип раздела вариантов, который не должен быть формальным типом настройки      3.7.3
Дискретный тип с выражением по умолчанию      3.2.1; 3.7.1
Дискретный тип фактического типа настройки      12.3.2
Дискретный тип формального параметра      6.2
Дискретный тип формального типа настройки      12.3 12.3.2
Дискретный тип, простое имя дискриминанта в разделе вариантов      3.7.3
Дискриминант      3.3 3.7.1; D см. «Зависимость «Именованная «Именуемый «Компонента» «Подкомпонента» «Составной «Спецификатор
Длина результата катенации      4.5.3
Длина результата логического отрицания над массивом      4.5.6
Длина результата сравнения массивов      4.5.1
Длина страницы      14.3 14.3.3; 14.4
Длина строкового литерала      2.6
Длина строчки      14.3 14.3.3.; 14.3.4 14.3.5 14.3.6
Должен (требование правильности)      1.6
Дополнительный элемент описания      3.9
Допустимо      1.8
Другой результат      см. «Предвыполнение не дает другого результата»
Другой символ      2.1 см.
Еще не предвыполнено      3.9
Завершение задачи      см. «Завершенная задача»
Завершенная задача      9.4 9.3 9.9 см.
Завершенная задача не становится аварийной      9.10
Завершенная задача, завершение задачи во время ее активизации      9.3
Завершенная задача, объект или подкомпонента объекта, указанного ссылочным значением      4.8
Зависимая задача      9.4
Зависимая задача аварийной задачи      9.10
Зависимая задача задерживающая распределение исключения      11.4.1
Зависимость задач      см. «Зависимая задача»
Зависимость между компилируемыми модулями      10.3; 10.5 см.
Зависимость между компилируемыми модулями циклическая, означающая неправильность      10.5
Зависимость от дискриминанта      3.7.1; 3.7 см. «Компонента» «Ограничение» «Ограничение «Ограничение «Определение «Определение «Подкомпонента» «Раздел
Зависимость от дискриминанта влияет на сопоставление компонент      4.5.2
Зависимость от дискриминанта влияние на совместимость      3.7.2
Зависимость от дискриминанта для присваивания      5.2
Зависимость от дискриминанта подкомпоненты, являющейся фактическим параметром      6.2
Зависимость от дискриминанта, влияющая на переименование      8.5
Зависимость от реализации      см. «Зависимость от системы»
Зависимость от системы F, атрибут      13.4
Зависимость от системы F, именованное число      13.7 13.7.1
Зависимость от системы F, компонента записи      13.4
Зависимость от системы F, константа      13.7
Зависимость от системы F, тип      13.7
Задача      9; D см. «Взаимодействие «Вход «Завершенная «Зависимая «Законченная «Одиночная «Оператор «Оператор «Оператор «Оператор «Оператор «Отбор «Разделяемая «Рандеву»
Задача, возбуждающая исключение      11.5
Задача, вызывающая главную программу      10.1
Задача, приостановленная в ожидании рандеву      9.5
Задача, приостановленная выполнением оператора задержки      9.6
Задача, приостановленная выполнением отбора с ожиданием      9.7.1
Задача, приостановленная из-за того, что задача стала аварийной      9.10
Задача, чередующаяся выполнением      9.8
Задачный модуль      9.1; 9 см.
Задачный модуль с раздельно компилируемым телом      10.2
Задачный модуль, аргумент прагмы SUPPRESS      11.7
Задачный модуль, аргумент спецификатора адреса      13.5
Задачный модуль, аргумент спецификатора представления      13.1
Задачный модуль, включающий оператор возбуждения исключения      11.3
Задачный модуль, описание, определяющее видимость другого описания      8.3
Задачный объект      9.2; 9.1 9.5 см. «Атрибут»
Задачный объект переименованный      8.5
Задачный объект, определяющий зависимость задач      9.4
Задачный объект, указанный ссылочным значением      9.2
Задачный тип      9.1 9.2; см. «Класс «Лимитируемый «Производный
Задачный тип, заканчивающий неполное описание типа      3.8.1
Задачный тип, значение, указывающее на задачный объект      3.2.1 9.1 9.2
Задачный тип, инициализация объекта      3.2.1
Задачный тип, формальный параметр      6.2
Законченная задача      9.4; 9.9 см. «Завершенная
Законченная задача из-за возбуждения исключения в теле задачи      11.4 11.4.1
Законченная задача как преемник вызова входа      9.5 9.7.2 9.7.3
Законченная задача, становящаяся аварийной      9.10
Законченная задача, становящаяся законченной при активизации      9.3
Законченная подпрограмма      9.4
Законченный оператор блока      9.4
Закрытая альтернатива (отбора с ожиданием)      9.7.1; 11.1 см.
Закрытый файл      14.1
Замена символов в тексте программы      2.10
Запись в файл вывода      14.1 14.2.2 14.2.4
Запятая как ограничитель      2.2
Запятая как символ      2.1
Зарезервированное слово      2.9; 2.2 2.3
Звездочка      см. «Двойная звездочка»
Звездочка как ограничитель      2.2
Звездочка как символ      2.1
Знак      см. «Графический знак» «Знак
Знак операции      6.1 см. «Видимость «Область «Непосредственная «Совмещение...»
Знак операции в качестве имени      4.1
Знак операции в качестве указателя      6.1
Знак операции в качестве указателя в описании функции      4.5
Знак операции в описании переименования      8.5
Знак операции в постфиксе      4.1.3
Знак операции в статическом выражении      4.9
Знак операции недопустим в качестве указателя библиотечного модуля      10.1
Знак операции описанный      3.1
Знак операции перегруженный      6.7; 6.6
Знак операции перед допустимым составным ограничителем      8.3
Знак операции, описание омонима      8.3
Знак операции, описанный в настраиваемом модуле      12.3
Знак операции, формальная функция настройки      12.1.3 12.3
Знак точки      см. «Две точки»
Знак точки, знак числа с фиксированной точкой      3.5.9
Знак точки, ограничение именуемой компоненты      8.3; 4.1.3
Знак точки, ограничитель      2.2
Знак точки, символ      2.1 см. «Символ
Знак числа с плавающей точкой      3.5.7
Значащие десятичные цифры      3.5.7
Значение      см. «Задача» «Возвращаемое «Вычисление» «Начальное «Подтип» «Присваивание» «Тип» «Указанная
Значение в заданном объекте      9.2

1 2 3 4 5 6 7 8 9 10 11

О проекте