ПРЕДИСЛОВИЕ
К РУССКОМУ ИЗДАНИЮ
Книга Я. Пайла знакомит советского читателя с языком программирования Ада. Быстрое утверждение языка Ада базируется на том, что язык вполне оправданно претендует на звание единого языка программирования" встроенных ЭВМ. Его возможности отражают современные методы, стили и технологии программирования, охватывают и поддерживают весь жизненный цикл программ. Основное достоинство языка Ада состоит в том, что он предназначен для проектирования больших и сверхбольших надежных программ, позволяет ввести в" необходимый момент зависимость от машины и получить эффективную программу простыми средствами. _ Единый язык программирования дает существенный выигрыш в 'производительности труда, так как он обеспечивает переносимость программ сводной ЭВМ'на другую, почти полностью исключает "дублирующие работы по программированию, поддерживает эффективное"1 внедрение ^сопровождение программ,"упрощает эксплуатацию и увеличивает продолжительность их жизни. Кроме того, обучение одному языку значительно дешевле и качественнее обучения многим языкам программирования. Исследования, предшествующие разработке программ, связаны с проведением на универсальных ЭВМ моделирования и расчета по программам, которые могут быть использованы на этапе программирования встроенных ЭВМ.
Автор книги был одним из участников разработки языка Ада, поэтому все особенности языка ему хорошо известны. В книге представлены почти все разделы и понятия языка, причем каждое понятие преподносится убедительно и хорошо проиллюстрировано. Примеры в тексте имеют смысл, близкий к практическим нуждам программистов, занимающихся разработкой математического обеспечения встроенных ЭВМ.
Основной метод разработки больших и сверхбольших программ сегодня — метод модульного программирования. В языке Ада определены четыре формы программных модулей: подпрограмма — основная работающая единица программы, пакет — логическая совокупность подпрограмм и/или данных, задача — параллельно выполняемая часть программы и настраиваемый модуль — макросредство языка высокого уровня. Этот ассортимент модулей позволяет расчленить всю программу па автономные~части и организо-
ОГЛАВЛЕНИЕ
Предисловие к русскому изданию.................. 5
Предисловие .......................... 8
Глава 1. ВВЕДЕНИЕ....................... Ю
1.1. Ада-программа .................... Ю
1.2. Еще одна программа.................. 12
1.3. Реальная программа.................. 12
1.4. Структура Ада-программы............... 13
1.5. Идентификаторы и именование............. 14
1.6. Окружение Ада-программы............... 15
Глава 2. ТИПЫ И ЗНАЧЕНИЯ.................. 17
2.1. Скалярные типы.................... 17
2.2. Подтипы ....................... 19
2.3. Записи ........................ 20
2.4. Массивы ....................... 22
2.5. Строки ........................ 25
2.6. Элементы данных................... 26
2.7. Строгая типизация................... 27
2.8. Имена и объекты.................... 28
Глава 3. ВЫРАЖЕНИЯ ..................... 31
3.1. Числовые выражения................. 31
3.2. Выражения с логическими значениями.......... 33
3.3. Другие виды выражений................ 35
3.4. Выражения общего вида................ 36
3.5. Операнды ...................... 36
3.6. Операции ....................... 38
3.7. Вычисление выражений................ 39
Глава 4. ОПЕРАТОРЫ ..................... 40
4.1. Последовательность операторов............. 40
4.2. Присваивание ..................... 41
4.3. Альтернативы ..................... 42
4.4. Повторение ...................... 43
4.5. Оператор вызова.................... 44
4.6. Оператор блока.................... 45
4.7. Операторы ветвления................. 46
4.8. Другие операторы................... 48
Глава 5. ПОДПРОГРАММЫ ................... 50
5.1. Спецификация подпрограммы.............. 50
5.2. Тела подпрограмм................... 54
5.3. Вызовы подпрограмм................. »°
236
Глава 6. ИСКЛЮЧЕНИЯ ....................58
6.1. Описание исключений................. 59
6.2. Возбуждение исключений................ 60
6.3. Обработка исключений................. 61
6.4. Распространение исключений.............. 63
6.5. Как использовать исключения.............. 64
6.6. Предопределенные исключения............. 66
Глава 7. ПАКЕТЫ .......................67
7.1. Пакеты данных.................... 67
7.2. Доступ к элементам пакета............... 69
7.3. Определение типов в пакетах.............. 70
7.4. Пакеты с подпрограммами................ 71
7.5. Пакеты с личными типами................ 72
7.6. Спецификация пакета в целом.............. 73
7.7. Тела пакетов..................... 74
Глава 8. ПРОГРАММИРОВАНИЕ ПАРАЛЛЕЛЬНЫХ ВЫЧИСЛЕНИЙ 76
8.1. Задачи и связи между ними............... 77
8.2. Связь между задачами................. 80
8.3. Асимметрия рандеву.................. 82
8.4. Активные задачи.................... 82
8.5. Задачи ввода-вывода.................. 84
Глава 9. СТРУКТУРА ПРОГРАММ................87
9.1. Видимость описаний.................. 88
9.2. Описание идентификаторов............... 90
9.3. Блочная структура.................. 90
9.4. Структура модуля................... 93
9.5. Уникальность идентификаторов............. 95
9.6. Локальный контекст.................. 96
9.7. Профиль подпрограмм................. 99
Глава 10. РАЗДЕЛЬНАЯ КОМПИЛЯЦИЯ И НАСТРОЙКА......101
10.1. Компилируемые модули................ 102
10.2. Действующий контекст компилируемого модуля..... 103
10.3. Контекст, допустимый для компилируемого модуля .... 105
10.4. Субмодули ...................... 105
10.5. Порядок компиляции................. 106
10.6. Порядок перекомпиляции............... 107
10.7. Настраиваемые программные модули.......... 109
10.8. Параметры настройки................. 111
10.9. Использование настраиваемых модулей......... 112
Глава П. ВВОД-ВЫВОД И ПРЕДСТАВЛЕНИЕ МАШИННО-ЗАВИСИМЫХ ХАРАКТЕРИСТИК................118
11.1. Файлы .......................119
11.2. Подготовка файла для использования..........122
11.3. Передача данных...................123
11.4. Позиционирование файлов...............124
11.5. Ввод-вывод текста..................126
11.6. Спецификаторы представления.............130
11.7. Прерывания .....................137
Глава 12. ЕЩЕ О ТИПАХ.....................139
12.1. Производные типы..................140
12.2. Абстрактные типы данных...............141
12.3. Записи с вариантами..................142
12.4. Ограничения и подтипы................146
12.5. Ссылочные типы...................152
12.6. Использование типов при разработке программ......165
237
Глава 13. ЕЩЕ О ЗАДАЧАХ...................16?
13.1. Задачные типы.................... 167
13.2. Семейства входов.................. 168
13.3. Недетерминизм ................... 169
13.4. Ошибочные ситуации в задачах и в рандеву........ 174
13.5. Межзадачное взаимодействие в MASCOT......... 176
13.6. Заключение ..................... 179
Приложение А. Предопределенные спецификации......... 180
Приложение Б. Для программирующих на языке Фортран...... 190
Приложение В. Для программирующих на языке Паскаль...... 192
Приложение Г. Прагмы, предопределенные в языке......... 194
Приложение Д. Атрибуты, предопределенные в языке........ 197
Приложение Е. Словарь терминов................. 204
Приложение Ж. Синтаксис языка Ада............... 211
Оглавление ...........................236
Цена: 150руб.
