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

• Автор: Довек Жиль
• Издательство: ДМК Пресс
• Серия: Классика программирования
• Год издания: 2016
• Обложка: мягкая обложка
• Страниц: 134
• Томов: 1
• Вес: 162 г.
• ISBN: 978-5-94074-913-4, 978-5-97060-242-3

Описание

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

Товар имеет необходимые сертификаты качества и безопасности. К покупке прилагается гарантийное обязательство. Предоставляется накопительная система скидок, зависящая от объема заказов, совершенных ранее. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Точную информацию о сроках доставки и скидке можно будет прочесть в процессе оформления заказа. Приятных покупок.