Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами.
Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Введение в теорию языков программирования
Искусство и искусствоведениеЯзыки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами.
Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
$0.00
Нет в наличии
Вес | 6 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
ISBN | 978-5-97060-242-3 |
EAN | 9785970602423 |
Формат | 60×90/16 |
Издательство | |
Серия | |
Переплет | Мягкий переплет |
Автор | |
Стандарт | 40 |
Дата получения | 11.03.2013 |
Год выпуска | |
Количество страниц | 134 |
SKU | 378981 |
Формат, мм | 145×215 |
Язык |