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

239.85 грн.

Год издания: 2013
Номер издания: 0
В наличии: 4 шт.
ISBN: 978-5-94074-913-4
Количество страниц: 134
Формат: 145мм х 215мм
Обложка: Мягкий

Описание

«Введение в теорию языков программирования». Ж. Довек.

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

В книге подробно рассказывается о способах задания отношений между тремя основными объектами: программой, входным значением, результатом. Данные формализмы наглядно демонстрируются на примерах типичных элементов языков программирования: функции, рекурсия, присваивание, а также записи и объекты. Автор демонстрирует, что теория языков программирования заключается не в последовательном изучении определенных языков поочередно, а выстраивается вокруг механизмов, входящих в различные языки. Детальное изучение этих механизмов в книге ведет к разработке вычислителей, компиляторов, интерпретаторов. Позволяет реализовать алгоритмы определения типов для учебных языков.

<

Яндекс.Метрика