Оригинал: Introduction to the Theory of Programming Languages
Авторы: Жиль Довек, Жан-Жак Леви
Переводчики: В. Брагилевский, А. Пеленицын
Язык: Русский
Издательство: ДМК Пресс
Серия: Классика программирования
Год: 2013 г.
Страниц: 134 стр.
Отзывы на Амазоне: 4 звезды с 5 звезд
Переводчики уже успели зарекомендовать с положительной стороны, сделав перевод "Жемчужины проектирования алгоритмов. Функциональный подход.
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
![[IMG]](/upload/parser/2022/08/119658.0.jpeg)
Последнее редактирование модератором:
- Статус
- В этой теме нельзя размещать новые ответы.