Описание:
Рассмотрены фундаментальные концепции и принципы, воплощенные в со временных и перспективных языках программирования. Представлены разные стили программирования (операционный, ситуационный, функциональный, реля ционный, параллельный, объектно ориентированный). Базовые концепции и прин ципы рассмотрены с пяти различных позиций (технологической, авторской, мате матической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Паскаль, Симула 67, Смолток, Рефал, Ада, Модула 2, Оберон, Оккам 2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая проблема программирования, а абстракция конкретизация и прогнозирование контроль – как основные ортого нальные методы борьбы со сложностью. На этой общей базе в книге впервые пред ставлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, входо выетипы и др.). Многие из них в последние годы стали реальностью. Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до ре ляционных языков, сопоставление принципов «сундука» и «чемоданчика» при создании Ады, Модулы 2 и Оберона, развитие концепции наследуемости от мо дульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме 2, и др.). Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.