Concepts, Techniques, and Models of Computer Programming

Эта книга представляет собой всестороннее введение в фундаментальные концепции, методы и модели программирования. Авторы, Питер Ван Рой и Сейф Хариди, предлагают систематический подход к изучению различных вычислительных моделей, начиная с декларативного программирования и заканчивая объектно-ориентированным, реляционным и распределенным программированием. Книга охватывает широкий спектр тем, включая вычисления с явным состоянием, параллелизм, распределенные системы и программирование с ограничениями. Особое внимание уделяется семантике языков программирования и практическим методам разработки программного обеспечения. Материал иллюстрируется примерами на языке Oz, который разработан для поддержки множества парадигм программирования. Книга предназначена для студентов старших курсов и аспирантов, а также для профессиональных разработчиков, стремящихся углубить свое понимание основ программирования.