Введение в теорию языков программирования / пер. с англ. В. Н. Брагилевского, А. М. Пеленицына. — 2-е изд., эл.

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

Довек Жиль. Введение в теорию языков программирования / пер. с англ. В. Н. Брагилевского, А. М. Пеленицына. — 2-е изд., эл. / Ж. Леви. - Москва : ДМК Пресс, 2023. - 135 с. - ISBN 978-5-89818-582-4. - URL: http://m.ibooks.ru/bookshelf/392280/reading (дата обращения: 27.07.2025). - Текст: электронный.