Введение в теорию языков программирования (Жан-Жак Леви). 2013г.

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

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