Языки программирования. Концепции и принципы - Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и перспективных языках программирования. Представлены разные стили программирования (параллельный, реляционный, ситуационный, функциональный, операционный, объектно-ориентированный).

Базовые концепции и принципы рассмотрены c пяти различных позиций (технологической, авторской, математической, семиотической и реализаторской) и проиллюстрированы примерами из таких языков, как Турбо Паскаль, Модула-2, Симула-67, Паскаль, Ада, Рефал, Оберон, Смолток, Оккам-2, С++ и др.

Сложность выделена как основополагающая проблема программирования, a абстракция-конкретизация и прогнозирование-контроль - как основные ортогональные методы борьбы со сложностью. Ha этой общей базе в книге впервые представлена цельная система концепций и принципов, создающая четкие ориентиры в области языков программирования. Ha основе этой системы сформулированы оригинальные положения, указывающие перспективы развития в этой области (модули исключительных ситуаций, модули управления представлением, входовые типы и др.). Многие из них в последние годы стали реальностью.

Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, a затем до реляционных языков, сопоставление принципов "сундука" и "чемоданчика" при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, и др.).
Для всех, серьезно интересующихся программированием, в том числе научных работников, программистов, преподавателей и студентов.

Содержание:

Предисловие ко второму изданию
Предисловие
Часть I. Современное состояние языков программирования
Глава 1. Концептуальная схема языка программирования
Глава 2. Пример современного базового ЯП (модель А)
Глава 3. Важнейшие абстракции: данные, операции, связывание
Глава 4. Данные и типы
Глава 5. Раздельная компиляция
Глава 6. Асинхронные процессы
Глава 7. Нотация
Глава 8. Исключения
Глава 9. Библиотека
Глава 10. Именование и видимость (на примере Ады)
Глава 11. Обмен c внешней средой
Глава 12. Два альтернативных принципа создания ЯП
Часть II. Перспективы языков программирования
Глава 1. Перспективные модели языка
Глава 2. Функциональное программирование (модель Б)
Глава 3. Доказательное программирование (модель Д)
Глава 4. Реляционное программирование (модель Р)
Глава 5. Параллельное программирование в Оккаме-2 (модель О)
Глава 6. Наследуемость (к идеалу развития и защиты в ЯП)
Глава 7. Объектно-ориентированное программирование
Глава 8. Заключительные замечания
Заключение
Список литературы
Полезная литература, на которую прямых ссылок в тексте нет

Год выхода: 2010
Автор: Кауфман В. Ш.
Издательство: ДМК Пресс
Серия или Выпуск: Классика программирования
ISBN: 978-5-94074-622-5
Страниц: 464
Формат: PDF
Качество: Отличное
Язык: Русский
Размер файла: 11,27 Mb