Введение в теорию языков программирования / Довек Жиль, Леви Жан-Жак
Артикул:378981
ISBN:
978-5-94074-913-4, 978-5-97060-242-3
Автор:
Довек Жиль, Леви Жан-Жак
Год издания:
2015
Издательство:
ДМК-Пресс
Название:
Введение в теорию языков программирования
Серия:
-
Введение в теорию языков программирования / Довек Жиль, Леви Жан-Жак
≈ 783,00 руб.
Проверить наличие и купить по самой выгодной цене:






Товар можно купить в книжных интернет-магазинах, указанных выше.
Цена при переходе на сайт интернет-магазина может отличаться как в большую, так и в меньшую сторону! Указанная цена была актуальна на дату последнего обновления каталога.
Реклама. Рекламодатель ООО "Лабиринт.Ру" / ИНН 7728644571 / Labirint.ru / Erid: 2VtzqwQYCqU
Реклама. Рекламодатель ООО "Магазин книг" / ИНН 9725076959 / My-shop.ru / Erid: AX1LYwMgKUvoDX6y
Реклама. Рекламодатель ООО "Новый Книжный Центр" / ИНН 7710422909 / Chitai-gorod.ru / Erid: 2Vtzqufp5tz
Реклама. Рекламодатель ООО "Новый Книжный Центр" / ИНН 7710422909 / Book24.ru / Erid: 2VtzqvPNRe6
Реклама. Рекламодатель ООО "Новый Книжный Центр" / ИНН 7710422909 / Bookvoed.ru / Erid: LatgBqrsQ
Реклама. Рекламодатель ООО "Литрес" / ИНН 7719571260 / Litres.ru / Erid: 2Vtzqx9kwnn
Реклама. Рекламодатель ООО "Клевер-Медиа-Групп" / ИНН 7717567452 / Clever-media.ru / Erid: LatgBnRdu
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
ISBN
978-5-94074-913-4, 978-5-97060-242-3
Автор
Довек Жиль, Леви Жан-Жак
Год издания
2015
Издательство
ДМК-Пресс
Название
Введение в теорию языков программирования
Серия
-