Мови програмування. Концепції та принципи 5521

Розглянуто фундаментальні концепції та принципи, втілені в сучасних і перспективних мовах програмування. Представлені різні стилі програмування (операційний, ситуаційний, функціональний, реляційний, паралельний, об'єктно-орієнтований). Базові концепції та принципи розглянуті з п'яти різних позицій (технологічної, авторської, математичної, семіотичної і реализаторской) і проілюстровані прикладами з таких мов, як Паскаль, Симула-67, Смолток, Рефал, Пекла, Модула-2, Оберон, Оккам-2, Турбо Паскаль, С++ і ін Складність виділена як основна проблема програмування, а абстракція-конкретизація і прогнозування-контроль - як основні ортогональні методи боротьби зі складністю. На цій загальній базі у книзі вперше представлена цілісна система концепцій і принципів, що створює чіткі орієнтири в області мов програмування. На основі цієї системи сформульовано оригінальні положення, що вказують перспективи розвитку в цій області (модулі виняткових ситуацій, модулі керування поданням, входовые типи і ін). Багато з них в останні роки стали реальністю. Нові підходи застосовані при викладі відомих фактів (покрокова модифікація нормальних алгоритмів Маркова спочатку до Рефала, а потім до реляційних мов, зіставлення принципів "скрині" і "валізки" при створенні Ади, Модулы-2 і Оберона, розвиток концепції наследуемости від модульності до об'єктної орієнтації, систематичне зіставлення концепції паралелізму в Пекло і Оккаме-2, та ін). Для всіх, серйозно цікавляться програмуванням, у тому числі науковців, програмістів, викладачів і студентів.

Мови програмування. Концепції та принципи