Довек Ж. «Введение в теорию языков программирования.» — купить книгу с доставкой в магазине «Санкт-Петербургский Дом Книги»

КАТАЛОГ ТОВАРА

8 (800) 555-08-42

+7 812 448-23-55

Интернет-магазин: с 09.00 до 00.00

Код: 00-00209277

Автор:

Довек Ж.

Серия:

Классика программирования

0 отзывов

Товар снят с продажи и больше не поставляется

Посмотреть другие товары раздела

Описание

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