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

1990 год, — 330 с. Систематически рассмотрены критерии, концепции и принципы, помогающие
оценивать, использовать, разрабатывать и реализовывать языки
программирования (ЯП): модульность, типы, исключения, наследуемость,
целостность, инкапсуляция, защита авторского права и др. Половина книги - о
тенденциях развития ЯП. Рассмотрены операционное, ситуационное,
функциональное, доказательное, реляционное, параллельное и объектно-
ориентированное программирование.
Заключительная часть книги посвящена более специальным проблемам -
стандартизации, реализации и преподаванию ЯП. Для университетских студентов, аспирантов и преподавателей
программирования, программистов и специалистов в области ЯП. Основана на
материале лекций, читаемых автором на факультете ВМиК МГУ. Содержание * Современное состояние языков программирования
Концептуальная схема языка программирования
Пример современного базового ЯП (модель А)
Важнейшие абстракции: данные, операции, связывание
Данные и типы
Раздельная компиляция
Асинхронные процессы
Нотация
Исключения
Библиотека
Именование и видимость (на примере Ады)
Обмен с внешней средой
Два альтернативных принципа создания ЯП * Перспективы языков программирования
Перспективные модели языка
Функциональное программирование (модель Б)
Доказательное программирование (модель Д)
Реляционное программирование (модель Р)
Параллельное программирование в Оккаме-2 (модель О).
Наследуемость (к идеалу развития и защиты в ЯП).
Объектно-ориентированное программирование
Заключительные замечания