[Классика программирования] Довек и Леви Введение в теорию языков программирования (134 стр.) 2013

Складчина: [Классика программирования] Довек и Леви Введение в теорию языков программирования (134 стр.) 2013

Оригинал: Introduction to the Theory of Programming Languages
Авторы: Жиль Довек, Жан-Жак Леви
Переводчики: В. Брагилевский, А. Пеленицын
Язык: Русский
Издательство: ДМК Пресс
Серия: Классика программирования
Год: 2013 г.
Страниц: 134 стр.

Отзывы на Амазоне: 4 звезды с 5 звезд

Переводчики уже успели зарекомендовать с положительной стороны, сделав перевод "Жемчужины проектирования алгоритмов. Функциональный подход".

Спойлер

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.