Введение в теорию языков программирования ДМК Пресс 978-5-94074-913-4, Довек Ж., Леви Ж.-Ж

Цена: 989 руб.

Цены на книгу в магазинах:
	My-shop.ru	- 607 руб. 0%
	Лабиринт	- 678 руб. 0%
	book24 RU	- 989 руб. 0%
	Буквоед	- 989 руб. 0%

Категория: Научно-популярная литература, Информационные технологии, Программирование

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