Concepts, Techniques and Models of Computer Programming / Концепции, Техники и Модели Компьютерного Программирования

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

После ознакомления с концепциями программирования, следует рассказ о как широко известных, так и малоизвестных моделях вычислений («парадигмы программирования»). Каждая модель обладает своим собственным набором техник и каждая из них имеет свои преимущества. Общие модели включают в себя декларативное программирование, декларативный параллелизм, параллелизм с передачей сообщений, явное состояние, объектно-ориентированное программирование, параллелизм с разделённым состоянием и реляционное программирование. Специализированные модели включают в себя программирование графического интерфейса пользователя, распределённое программирование и программирование в ограничениях. Каждая модель основана на своём языке ядра – языке с простой основой, состоящей из малого числа программно-значимых элементов. Знакомство с языками ядер происходит постепенно, добавляя концепции одну за другой, тем самым показывая глубокую взаимосвязь между различными моделями. Языки ядер определены в терминах простой абстрактной машины. Поскольку огромное разнообразие языков и парадигм программирования можно смоделировать с помощью малого набора тесно взаимосвязанных языков ядра, то этот подход позволяет программистам и студентам понять единство, лежащее в основе программирования. В книге приведено множество фрагментов программ и упражнений, и все можно запустить в Системе Программирования Моцарт (Mozart Programming System), программном пакете с Открытым Исходным Кодом, и представляющим из себя интерактивную среду с инкрементальной разработкой.