Алгоритмы и методы. Искусство программирования

Список источников >Нехудожественная литература >Компьютерная литература >Разработка программного обеспечения >Алгоритмы и методы. Искусство программирования >

Введение в теорию языков программирования

Автор: Леви Жан-Жак
Год: 2013
Издание: ДМК Пресс
Страниц: [не указано]
ISBN: 9785940749134, 9785970602423
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Добавлено: 2017-02-16 13:30:36

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы