Жан-Жак Леви - Введение в теорию языков программирования
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Введение в теорию языков программирования»
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
С книгой «Введение в теорию языков программирования» читают
Рецензии на книгу «Введение в теорию языков программирования»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Введение в теорию языков программирования»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
Отзывы на книгу «Введение в теорию языков программирования»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Введение в теорию языков программирования»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.