{"product_id":"dovek-levi-vvedenie-v-teoriyu-yazikov-programmirovaniya","title":"Жиль Довек: Введение в теорию языков программирования","description":"Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.","brand":"ДМК Пресс","offers":[{"title":"Default Title","offer_id":49346322759996,"sku":"laaz66oy1tcfgud6ip3pio1q","price":31.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/dovek_levi_vvedenie_v_teoriyu_yazikov_programmirovaniya_1.jpg?v=1714377875","url":"https:\/\/knizhka.us\/products\/dovek-levi-vvedenie-v-teoriyu-yazikov-programmirovaniya","provider":"Книжка US","version":"1.0","type":"link"}