Языки программирования. Концепции и принципы

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

Отзывы - Написать отзыв

Не удалось найти ни одного отзыва.

Содержание

Предисловие ко второму изданию
14
программирования
32
ПРИМЕР СОВРЕМЕННОГО БАЗОВОГО ЯП
43
и использования услуг принцип РОРИУС
66
ДАННЫЕ
69
Данные и типы 85
86
базовый набор операций
106
ДАННЫЕ И ТИПЫ 85
145
ОБМЕН С ВНЕШНЕЙ СРЕДОЙ
219
ДВА АЛЬТЕРНАТИВНЫХ ПРИНЦИПА
237
ПЕРСПЕКТИВЫ ЯЗЫКОВ
269
Функциональное программирование
290
ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
315
РЕЛЯЦИОННОЕ ПРОГРАММИРОВАНИЕ
339
Параллельное программирование в Оккаме2
354
НАСЛЕДУЕМОСТЬ КИДЕАЛУ РАЗВИТИЯ
391

Асинхронные процессы
151
вспомогательных конструктов
167
НОТАЦИЯ
175
Исключения
183
Библиотека 201
202
БИБЛИОТЕКА 201
205
позиции
410
ОБЪЕКТНООРИЕНТИРОВАННОЕ
415
средств программирования
434
ЗАКЛЮЧИТЕЛЬНЫЕ ЗАМЕЧАНИЯ
439
Заключение
459
Авторские права

Часто встречающиеся слова и выражения

абстракции абстракцию данных Аде аппарат аргументов базового Бейсик важно ведь вида внешней возможность действия денотат динамически должны доступа драйвер Другими словами есть задачи значений именно имя исключения исполнителя Итак каждой качестве класс компилятор компонент компьютеров конкретных конструктов Конструктор типа контекста концепции которые Лисп любой могут модели модулей может можно называют например нашем некоторые нет новый нужно Обероне обмена объектов объявления Однако одной оператор операций определения определяет основной пакета параметров партнеров Паскале первый переменной подпрограммы пользователя понятия последовательность потребность правила предопределенных представления пример принцип присваивания проблемы программирования программиста программы процедуры работать рандеву реализации результат Рефал решение роли самым свойства свою связан связи связывания семантика семафор Сети следует содержательно создания соответствии спецификации средства статически строки структуры считать тела тем типов данных том транслятор Турбо Паскале узел указать управления услуг файл функции Функциональное программирование цель цикла части число числовых типов явно язык программирования языка ЯП begin end loop function INTEGER procedure return type

Библиографические данные