Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Страницы: 134
Бумага: Офсет
Издательство: ДМК Пресс
ISBN: 978-5-94074-913-4
Год издания: 2016
Автор: Жиль Довек
Редактор: Мовчан Д. А.
Переводчик: Брагилевский Виталий Николаевич, Пеленицын А. М.
Книга «Введение в теорию языков программирования» доступна для покупки в нашем интернет-магазине «Книжка US» по
выгодной цене.
Мы предлагаем доставку из России в США с использованием службы USPS, что занимает от 2-х недель до 30 дней.
Каждый заказ сопровождается трек-номером для удобного отслеживания.
Закажите книгу Жиль Довек «Введение в теорию языков программирования»
из серии Классика программирования
и получите её прямо на ваш адрес.
Мы гордимся тем, что являемся крупнейшим магазином русских книг в США, и всегда стремимся предложить нашим клиентам
лучший сервис и широкий ассортимент. Следите за нашими акциями и специальными предложениями, чтобы сделать свои
покупки ещё выгоднее.
Choosing a selection results in a full page refresh.