10.5. Основная потребность и определяющие требования. 146
10.6. Конструкты и требования, связанные с именованием.. 147
10.7. Схема идентификации. 148
10.8. Недостатки именования в Аде. 154
11. Обмен с внешней средой. 155
11.2. Назначение и структура аппарата обмена. 158
11.3. Файловая модель обмена в Аде. 159
11.4. Программирование специальных устройств. 166
12. Два альтернативных принципа создания ЯП.. 168
12.2. Закон распространения сложности ЯП.. 169
12.3. Принцип чемоданчика. 169
12.4. Обзор языка Модула-2. 170
12.5. Пример М-программы.. 171
12.7. Принцип чемоданчика в проектных решениях ЯП Модула-2. 178
ЧАСТЬ 2. ПЕРСПЕКТИВЫ ЯЗЫКОВ ПРОГРАММИРОВАНИЯ. 192
1. Перспективные модели языка. 192
1.2. Операционное программирование - модель фон Неймана (модель Н). 193
1.3. Ситуационное программирование - модель Маркова-Турчина (модель МТ). 195
2. Функциональное программирование (модель Б). 206
2.1. Функциональное программирование в модели МТ. 206
2.2. Функциональное программирование в стиле Бэкуса (модель Б). 213
3. Доказательное программирование (модель Д). 224
3.2. Доказательное программирование методом Бэкуса. 225
3.3. Доказательное программирование методом Хоара. 229
4. Реляционное программирование (модель Р). 242
4.4. Предопределенные отношения. 248
4.5. Связь с моделями МТ и Б. 249
5. Параллельное программирование в Оккаме-2 (модель О). 252
5.1. Принципы параллелизма в Оккаме. 252
5.2. Первые примеры применения каналов. 253
5.3. Сортировка конвейером фильтров. 255
5.4. Параллельное преобразование координат (умножение вектора на матрицу). 255
5.5. Монитор Хансена-Хоара на Оккаме-2. 259
5.6. Сортировка деревом исполнителей. 260
5.7. Завершение работы коллектива процессов. 264
5.8. Сопоставление концепций параллелизма в Оккаме и в Аде. 265
5.9. Перечень неформальных теорем о параллелизме в Аде и Оккаме. 272
5.10. Единая модель временных расчетов. 273
5.11. Моделирование каналов средствами Ады.. 274
5.12. Отступление о задачных и подпрограммных (процедурных) типах. 276
6. Наследуемость (к идеалу развития и защиты в ЯП). 283
6.1. Определяющая потребность. 283
6.3. Критичность развиваемости. 284
6.4. Аспекты развиваемости. 284
6.5. Идеал наследуемости (основные требования). 286
6.6. Проблема дополнительных атрибутов. 286
6.7. Развитая наследуемость. 288
6.10. Концепция наследования в ЯП (краткий обзор). 296
6.11. Преимущества развитой наследуемости. 298
6.12. Наследуемость и гомоморфизм (фрагмент математической позиции). 299
7. Объектно-ориентированное программирование. 302
7.1. Определяющая потребность. 302
7.2. Ключевые идеи объектно-ориентированного программирования. 303
7.3. Пример: обогащение сетей на Турбо Паскале 5.5. 304
7.4. Виртуальные операции. 309
7.6. Объекты и классы в ЯП Симула-67. 317
7.7. Перспективы, открываемые объектной ориентацией средств программирования. 318
7.8. Свойства объектной ориентации. 321
7.9. Критерий фундаментальности языковых концепций. 321
8. Заключительные замечания. 322
8.1. Реализаторская позиция. 322
8.2. Классификация языков программирования. 328
8.3. Тенденции развития ЯП.. 331
Научное издание
ЯЗЫКИ ПРОГРАММИРОВАНИЯ
КОНЦЕПЦИИ И ПРИНЦИПЫ
Заведующий редакцией
Редактор
Переплет художника
ИБ № 000
ЛР № 000
Подписано в печать с оригинал-макета 26.02.93 Формат 60x88 1/16 Бумага офсетная №2 Гарнитура «Таймс» Печать офсетная Усл. печ. л. 26,46 Усл. кр.-отт. 26,46 Уч.-изд. л. 28,66 Тираж 2 000 экз. Изд. № 000 Зак № 000 С-049
Издательство "Радио и связь". 101000 Москва, Почтамт, а/я 693
Производственно-издательский комбинат ВИНИТИ. 140010. г. Люберцы. 10,Октябрьский проспект 403.
|
Из за большого объема этот материал размещен на нескольких страницах:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 |
