Практическое введение в два перспективных направления современного программирования: технику программирования с использованием концепции абстрактных типов данных и распределенное программирование в сетях ЭВМ. Изложение ведется на основе языка АТ-Паскаль, представляющего собой расширение языка Паскаль средствами работы с абстрактными типами данных и средствами взаимодействия, распределенных процессов, и иллюстрируется рядом примеров. Кратко рассмотрены также аналогичные языковые сродства языков Ада и Модула-2.
Для научных работников, инженеров, может быть полезна студентам.
Ил. 33. Библиогр. 35 назв.
Рецензенты:
кандидаты физико-математических наук В, Г, Баула
и В. О. СаЛонов
ОГЛАВЛЕНИЕ
Предисловие автора................... 5
Глава 1. Введение.................« 7
1.1. Назначение книги..............• 7
1.2. Об абстрактных типах данных.......... 8
1.3. Что дает применение абстрактных типов данных 10
1.4. О распределенном программировании...... 12
Глава 2. Типы данных и операции над ними ...... 13
2.1. Конструирование типов в языке Паскаль .... 13
2.2. Конструкторы типов как функции над типами ... 18
2.3. Деструкторы типов и функции-константы ..... 22
2.4. Ссылочная идентичность типов .......... 27
2.5. Примеры применения деструкторов типов .... 30
Глава 3. Пакеты................... 36
3..1. Понятие пакета................. 36
3.2. Присоединение и вложение пакетов....... 37
3.3. Доступ к объектам вложенного пакета..... 40
3.4. Ключевые параметры пакетов.......... 42
3.5. Позиционные параметры пакетов........ 44
3.6. Пакеты-функции................ 47
3.7. Процедуры с переменным числом параметров ... 49
3.8. Локальные объекты и приватные типы..... 51
3.9. Ограничение видимости............. 53
3.10. Пакеты как процедуры периода компиляции . . 53
Глава 4. Основные принципы АТД-программирования 56
4.1. Классификация пакетов..........• < • 56
4.2. Основные свойства АТД-программирования .... 57
4.3. Об эффективности АТД-программирования , . , . 61
4.4. Способы объявления объектов АТД....... 63
Глава 5. Примеры пакетов . , ,............ . 67
5.1. Простые пакеты................. 67
5.2. Пакеты для обработки строк переменной длины 7д
5.3. Пакет для работы с комплексными числами ... 8i
5.4. Обработка списков............... 84
"8.5. Пример АТД-программы............. 91
5.6. Полиморфная процедура выстрой сортировки ... 94
5.7. Пример построения программы методом пошаговой реорганизации................. 102
Глава 6. Введение в распределенное программирование 119
6.1. Основные понятия распределенного программирования...................... U9
6.2. Средства РП-программирования языка АТ-Паскаль 126
6.3. Пакеты для РП-программирования ........ 134
6.4. Примеры процессов для управления ресурсами 149
* л а в а 7. АТ-Паскаль, Ада и Модула-2........ 161
7.1. Средства АТД-программирования языка Ада ... 161
7.2. Средства взаимодействия процессов языка Ада 168
7.3. Модули языка Модула-2 ......,.,,,. 173
Триложение. Формальное описание языка АТ-Паскаль 177
список литературы . .................. 197
'писок дополнительной литературы ........... 198
ПРЕДИСЛОВИЕ АВТОРА
Эта книга представляет собой кратко* практическое введение в два перспективных направления современного программирования: абстрактные .типы данных и распределенное программирование, В настоящее время они остаются в большой степени объектами теоретических исследований, так как большинство современных широко применяемых языков программирования не имеют адекватных языковых средств. Поэтому представляется целесообразным познакомить с этими новыми направлениями широкие круги практикующих программистов. Книга основана на результатах, полученных автором в 1983—1985 гг. при выполнении работы, связанной с созданием языковых средств распределенного программирования в сетях ЭВМ. В это время автором был разработан и реализован на ЕС ЭВМ язык АТ-Паскаль, представляющий собой расширение языка Паскаль средствами, ориентированными на использование указанных методологий программирования. Язык АТ-Паскаль представляется удобным для предварительного знакомства читателя с основами программирования с использованием абстрактных типов данных и распределенного программирования. Автор надеется, что приведенные в книге сведения помогут читателям-программистам в освоении и практическом применении перспективных методов программирования, независимо от того, в рамках какого именно языка они будут применяться ими в дальнейшем. Первые пять глав книги и приложение могут служить в качестве пособия при практическом применении компилятора языка АТ-Паскаль, построенного на базе широко известного в программистских кругах компилятора Паскаль-8000. К сожалению, в доступную пользователям версию компилятора АТ-Паскаль не включены средства взаимодействия сетевых процессов, экспериментальная реализация которых была проведена в рамках сетевого программного комплекса Диалог, без которого эти средства не могут использоваться,
Цена: 150руб.
