Введение в теорию языков программирования

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