Введение в теорию языков программирования
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Печатное издание имеет сертификаты качества и безопасности и соответствует нормам санитарной гигиены. На весь ассортимент распростаняется гарантия. Действует дисконтная накопительная система, а также корпоративная скидка 10% на заказ от 20 шт. На странице офомления заказа будет отражена более детальная информация о стоимости доставки в ваш регион и о вашей личной скидке.
Позвольте Вам предложить
-
Практическое введение в язык программирования Си. СПО
Пособие посвящено основам программирования на языке Си. Рассмотрены такие темы, как: базовый синтаксис, логические и арифметические выражения, основные конструкции структурированных языков…
-
Программирование на языке Пролог для задач искусственного интеллекта. Введение в логическое программ
Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual…
-
Введение в программирование на языке Visual Basic for Applications (VBA). Учебное пособие
В учебном пособии рассмотрены основы алгоритмизации и программирования на языке Visual Basic for Applications (VBA), описано действие линейных, разветвляющихся и циклических…
-
Введение в программирование на языке Visual Basic for Applications (VBA). Учебное пособие
В учебном пособии рассмотрены основы алгоритмизации и программирования на языке Visual Basic for Applications (VBA), описано действие линейных, разветвляющихся и циклических…
-
Введение в теорию автоматов, языков и вычислений. Классическое издание
Книга "Введение в теорию автоматов, языков и вычислений" известных американских ученых посвящена теории автоматов и соответствующих формальных языков и грамматик -…
-
Введение в рекурсивное программирование
Научитесь думать рекурсивно! Основные понятия рекурсивного программирования Методика рекурсивного мышления Анализ времени выполнения рекурсивных алгоритмов Основные алгоритмы линейной и множественной рекурсии Связь между итерацией и хвостовой…
-
Введение в Elixir. Введение в функциональное программирование
Отличное введение в Elixir для людей с практическим складом ума. Авторы сразу переходят к сути и дают прекрасный обзор возможностей языка…
-
История исламских теорий права. Введение в суннитскую теорию права
Американский исламовед Ваэль Халляк прослеживает эволюцию суннитской теории права от IX в. н.э. до наших дней. Он подробно рассматривает основные составляющие…
-
Введение в надежное и безопасное распределенное программирование
В современных вычислениях программы нередко объединяют несколько процессов. Основная проблема, возникающая при создании таких распределенных программ, состоит в том, чтобы заставить…