Качайте софт, игры и кино!

Среда, 03.06.2020, 22:06 Приветствую Гость RSS
Главная » Статьи » Интересное

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

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике.
Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.


Название: Введение в теорию языков программирования
Автор: Довек Ж., Леви Ж.-Ж.
Год: 2013
Жанр: программирование, обучение
Серия: Классика программирования
Издательство: ДМК-Пресс
Язык: Русский

Формат: pdf
Качество: eBook
Страниц: 135
Размер: 3,5 MB
Скачать Довек Ж., Леви Ж.-Ж. - Введение в теорию языков программирования (2013)

Категория: Интересное | Добавил: didl3 (20.05.2020)
Просмотров: 7 | Теги: Компьютерная литература, книга, программирование, Введение в теорию языков программир | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]