АвторыЖ. Довек, Ж.-Ж. Леви
Введение в теорию языков программирования
ИздательствоДМК-пресс
Тип изданияучебное пособие
Год издания2015
Скопировать биб. запись
Для каталогаДовек, Ж. Введение в теорию языков программирования / Ж. Довек, Ж. -Ж. Леви. - Москва : ДМК Пресс, 2015. - 134 с. - ISBN 978-5-97060-242-3. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785970602423.html (дата обращения: 14.11.2024). - Режим доступа : по подписке.
АннотацияЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.