Р.У. Себеста - Основные копцепции языков программирования (2001) (1160794), страница 3
Текст из файла (страница 3)
Введение в параллельность на уровне подпрограмм 12.2.1. Основные понятия !2.2.2. Разработка языков для поддержки параллельности 12.2.3. Вопросы разработки языков программирования 12.3. Семафоры 12.3.! . В веление 12.3.2. Синхронизация взаимолействия 12.3.3. Синхронизация конкуренции 12.3.4. Оценка 12.4. Мониторы 12.4.1. Введение 12.4.2. Синхронизация взаимодействия 12.4.3. Синхронизация конкуренции 12.4.4. Оценка 12.5. Передача сообщений 12.5.1.
Введение 12.5.2. Концепция синхронной передачи сообшений 12.5.3. Модель передачи сообщения в языке Аг!а 95 12.5.4. Синхронизация взаимодействия 12.5.5. Синхронизация конкуренции 12.5.6. Завершение залачи 12.5.7. Приоритеты 12.5.8. Бинарные семафоры 12.5.9. Оценка 12.6. Параллельность в языке Ада 95 12.6.1. Зашишенные объекты 12.6.2. Асинхронные сообщения 12.7. Потоки языка Зача 12.7.1. Класс тйгеес! 12.7,2. Приоритеты 12.7.3. Синхронизация взанмолействия 12.7.4.
Синхронизация конкуренции 12.7.5. Оценка 12.8. Параллельность на уровне операторов ! 2.8.1. Язык Н18п-РегГоггпапсе РОйТКА!4 ГЛАВА 13. ОбРАБОТКА ИСКЛЮЧИТЕЛЬНЫХ СИТУАЦИ8! 13.1. Введение в обработку исключительных ситуаций ! 3.1.! . Основные понятия ! 3.1.2. Вопросы разработки 13.1.3. Исторический обзор 13.2. Обработка исключительных ситуаций в языке Р!./1 ! 3.2.1.
Обработчики исключительных ситуаций 507 508 508 508 512 512 512 512 5!3 515 517 517 517 518 519 521 52! 522 522 523 527 528 529 530 5З0 5З! 53! 531 532 сзз 534 535 535 536 539 539 539 546 547 548 550 553 553 554 Содержание 12.!.2. Разновидности паратлельности 12.1.3. Почему нужно изучать параллельность 12 2. Введение в параътельность на уровне подпрограмм 12.2.1. Основные понятия 12.2.2. Разработка языков лля поддержки параллельности 12.2,3.
Вопросы разработки языков программирования 12.3. Семафоры 123.1. Ввеление 12.3.2. Синхронизация взаимолействия ! 2.3.3. Синхронизация конкуренции 12.3.4. Оценка ! 2.4. Мониторы 12.4,1. Введение 12.4.2. Синхронизация взаимолействия !2,4.3. Синхронизация конкуренции ! 2.4.4. Оценка 12.5. Передача сообщений 12.5.1. Введение 12.5.2. Концепция синхронной перелачи сообщений ! 2.5.3.
Модель передачи сообщения в языке Аг1а 95 12.5.4. Синхронизация взаимолействия 12.5.5. Синхронизация конкуренции 12.5.6. Завершение залачи 12.5.7. Приоритеты 12.5.8. Бинарные семафоры 12.5.9. Оценка 12.6. Параллельность в языке Ас!а 95 12.6.1. Защищенные объекты 12.6.2.
Асинхронные сообщения 12.7. Потоки языка 1ача 12.7.!. Кзасс Т.".сеаб 12.7.2. Приоритеты 12.7.3. Синхронизация взаимодействия 12.7.4. Синхронизация конкуренции 12.7.5. Оценка 12.8. Параллельность на уровне операторов 12.8.! . Язык РВ18п-РегГоппапсе РОКТКА1Ч ГЛАВА 13. ОБРАБОТКА ИСКЛЮЧИТЕЛЬНЫХ СИТУАЦИЙ 13.1. Введение в обработку исключительных ситуаций ! 3.1.! . Основные понятия 13.1.2. Вопросы разработки 13.1.3. Исторический обзор 13.2. Обработка исключительных ситуаций в языке Р121 13.2.1. Обработчики исключительных ситуаций 507 508 508 508 5!2 5!2 512 5!2 513 5!5 517 5!7 517 518 519 52! 52! 522 522 523 527 528 529 530 530 53! 531 531 532 533 534 535 535 536 539 539 539 547 548 550 553 553 554 Содвржаннв Содержание 13.2.2.
Связывание исключительных ситуаций с обработчиками 13.2.3. Продолжение ! 3.2.4. Другие проектные решения 13.2.5. Пример 13.2.6. Оценка 13.3. Обработка исключительных ситуаций в языке Аба 13.3.1. Обработчики исключительных ситуаций ! 3.3.2. Связывание исключительных ситуаций с обработчиками ! 3.3.3. Продолжение ! 3.3.4.
Другие проектные решения ! 3.3.5. Пример ! 3.3.6. Оценка 13.4. Обработка исключительных ситуаций в языке С н. 13.4.1. Обработчики исключительных ситуаций 13.4.2. Связывание исключительных ситуаций с обработчиками 13.4.3. Прололжение выполнения программы 13.4.4. Другие проектные решения 13.4.5.
Пример 13.4.6. Оценка 13.5. Обработка исключительных ситуаций в языке Зава 13.5.1. Классы исключительных ситуаций 13.5.2. Обработчики исключительных ситуаций 13.5.3. Связывание исключительных ситуаций с обработчиками 13.5.4. Продолжение выполнения программы ! 3.5.5. Другие проектные решения 13.5.6. Пример 13.5.7. Оператор й1па11у 13.5.8. Оценка ГЛАВА 14. ФУНКЦИОНАЛЬНЫЕ ЯЗЫКИ ПРОГРАММИРОВАНИЯ 14.1. Введение 14.2.
Математические функции ! 4.2.1. Простые функции 14.2.2. Функциональные формы 14.3. Основы функциональных языков про!Раммирования 14.4. Первый язык функционального программирования — 1.!8Р 14.4.1. Типы и структуры данных 14.4.2. Первый интерпретатор языка 1.1$Р 14.5. Введение в язык депеше 14.5.1. Происхожление языка бсйеше 14.5.2. Элементарные функции 14.5.3. Функции для построения функций 14,5.4. Поток управления 14.5.5. Пример функции на языке Бс!зете 14.5.6. Функциональные формы 554 554 555 556 557 558 558 559 560 561 563 564 564 564 565 566 566 567 568 568 568 569 569 570 571 572 573 574 680 581 582 582 583 584 585 586 586 588 589 589 594 595 597 601 14.5.7. Функции лля создания кода 14,5.8. Императивные свойства языка Бс!зепзе 14.6. Язык СОММОХ 1.!8Р 14.7.
Язык М1. 14.8. Язык Назке!1 14.9. Применение функциональных языков 14.10. Сравнение функциональных и императивных языков ГЛАВА 16. ЯЗЫКИ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ 15.1. Ввеление 15.2. Краткое введение в исчисление предикатов 15.2.1. Высказывания 15.2.2. Дизъюнлтнвные формы 15.3. Исчисление предикатов и доказательство теорем 15.4. Обзор логического программирования 15.5.
Происхождение языка Рго!об 15.6. Основные элементы языка Рго!о8 15.6.1. Термы 15.6.2. Факты 15.6.3. Правила 15.6.4. Цель 15.6.5. Процесс логического вывода в языке Рго1о8 15.6.6. Простая арифметика 15.6.7. Списковые стрултуры 15.7. Недостатки языка Рго!об 15.7.1. Управление порядком выполнения резолюции 15.7.2. Предположение о закрытом мире 15.7.3. Проблема логического отрицания 15.7.4.
Внутренние ограничения 15.8. Применение логического про!раммирования 15.8.1. Системы управления реляционными базами данных 15,8.2. Экспертные системы 15.8.3. Системы обработки естественных языков 15.8.4. Образование 15.9. Выводы ЛИТЕРАТУРА ПРЕДМЕТНЫЯ УКАЗАТЕЛЬ 602 603 603 605 607 610 611 616 617 617 6!8 620 620 623 624 625 625 626 627 628 628 631 634 638 639 64! 642 643 644 644 645 646 646 646 660 661 Содержание сывается полностью. |казыва|отся истоки, цели и знз~ение каждого из ни| Эт.-; сторический обзор ценен. так как он подготавливает баз| лля псиичания тес"етически| и лгактических основ разраоотки совреченных язь:кгв Ои также обэснсвывает лзтьнейо:ее из|чение вопросов. связанньж с разработкой языков и их оценкой Псскглью чатегиаэ сот»=,ьной части книги никак не зависит от чатериаэа главы ". беэ нар|шеиия целостности изл-жения эта глава может быть полностью преп| шепа.
В главе 3 рассчатриваются основные четолы формзльного свисаю я синтаксиса языков програмчирования: форма ЕВ |Р ~ Еыепбеб Васйцз-'|ацг Еогш — гасширенная фсгчз Бэк|саНаура) и синтаксические графы Затем слел|ет описание атриг|тнсй грамматики. играюшей очень важи>ю роль при разраооткс ьочпилят ра.
Лассе анализир|е ся тр|лиая зала а описания семантики. лаются основы тре| наиболее раслгостранечны: мета ов описания операционной, аксиочатической и ленотациониой семантики В главах 4-1З использован вертикальный полол аэя подробного описания разработки основных конструкций императивны| я!ыков програчмирования В кажлоч ел|час прслставлено и оценено несколько альтернативны| проектных решений В частности. в г 1звс 4 рассмотрены многие своГютва перечеииы|. а в главе 5 — более сложные типы лаи ы|. ~лава 6 посвяшена выражениям и олераторач присваиванию |правляк шие операторы спи аны в главе 7: полпрограчмы и их реализация разобраны в главах 8 и ч: спосооы аостракш и ланных изучаются в главе !0: особенности языков.
поллерживаюши| объектис-ориентирг ванное програэ1л~ирование !насте.!ование и линачическое связываниеь-- в г|аве! 1: параллельно выполняемые програчмные мол|ли описываются в главе 1': и. наконец. обработка исключительных сит|аций описывается в главе 13. Мы решили использовать вертикальный подзол. поскольку при горизонтальном пол|оде при|олится описывать и оценивать летали некоторой конкретной констр|кшш я разных частя| книги олновреченно.
что создает определенное неудобство, Например. обе| жлсние в одной и той .ке пэаве различных четолов ооеспсчения параллельности позволяет нач точно сравнить и оценить эти методы. В лвух последних глава~ !главы 14 и 151 описываются лве важнейшие паралигчы про. граммирования: ф|нкциональная и логическая. Оое парадигмы вначале рассматриваются с точки зрения метолоэогии програччирования. а затем приволится краткое введение в конкретный язык, В частности. глава 14 начинается с обс|жления просты| чатечатичесюьх ф| ньиий. ф>нкциональных форм и языков функционального програччирования Затем прелстзвл«но введение в язык Бсцеше с описанием некоторых его основных ф| нкций.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
