Купили 21 человек
Аннотация
Серия | Классика программирования |
---|---|
Издательство | |
Страниц | 134 |
Год, тираж | 2015 |
Последний экземпляр
Описание и характеристики
Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
Код | 2349350 |
---|---|
Издательство | |
Серия | Классика программирования |
Автор |
|
Кол-во страниц | 134 |
Год издания | 2015 |
ISBN | 978-5-94074-913-4 |
Раздел | Программирование |
Размеры | 13.8 см × 19.8 см |
Вес | 0.17 кг |