Google 
Аннотация: Введение в теорию языков программирования
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
| Автор/составитель | Довек Жиль, Леви Жан-Жак |
| Год выпуска | 2015 |
| ISBN | 978-5-94074-913-4, 978-5-97060-242-3 |
| Производитель | ДМК-Пресс |
| Издательство | ДМК-Пресс |
| Количество томов | 1 |
| Количество страниц | 134 |
| Переплет | Мягкая обложка |
| Размеры | 205x140x7 мм |
| Цвет | Серый |
| Тип бумаги | офсетная (60-220 г/м2) |
| Формат | 60x88/16 (140x205 мм) |
| Тираж | 200 |
| Стандарт | 30 |
| Вес | 170 |
| Язык | русский |
