Книга Введение в теорию языков программирования рассказывает о том, как языки программирования, от классических Фортрана и Кобола до более современных Caml и Java, используются для управления сложными компьютерными системами. Она поможет читателю освоить средства, необходимые для проектирования и создания своих языков программирования. Авторы книги предлагают единый подход к формализмам для определения языков программирования - операционной и денотационной семантике. Они объясняют, как эти формализмы помогают задавать отношения между программой, входным значением и результатом. Книга демонстрирует, как эти формализмы применяются на примере типичных элементов языков программирования, таких как функции, рекурсия, присваивание, записи и объекты. Важно понимать, что теория языков программирования не заключается в изучении языков по отдельности, а строится вокруг механизмов, которые входят в различные языки. Книга поможет разработать вычислители, интерпретаторы и компиляторы, а также реализовать алгоритмы вывода типов для учебных языков.
Книга Введение в теорию языков программирования является обязательным пособием для всех, кто интересуется разработкой языков программирования. Она поможет читателю понять, как языки программирования используются для управления сложными компьютерными системами. В книге представлен единый подход к различным формализмам, используемым для определения языков программирования, таким как операционная и денотационная семантика. Она также обучает, как задавать отношения между программой, входным значением и результатом, используя эти формализмы. Книга демонстрирует применение формализмов на практике, на примере типичных элементов языков программирования, таких как функции, рекурсия, присваивание, записи и объекты. Важно знать, что теория языков программирования не ограничивается изучением языков в отдельности, а базируется на механизмах, используемых в различных языках. Изучение этих механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. Книга является обязательным чтением для всех, кто стремится развиваться в области программирования и создания своих языков программирования.
Электронная Книга «Введение в теорию языков программирования» написана автором Жан-Жак Леви в 2013 году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 978-5-94074-913-4
Описание книги от Жан-Жак Леви
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.