Введение в теорию языков программирования
Введение в теорию языков программирования
|
Общие вопросы
|
Автор: Довек Жиль Издательство: ДМК Пресс, 2013 |
PDF, 134 страницы, 4.02 МБ
|
«Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.»
|
|
|
486
bokorkloss
28 мая 2016
|
|
Посетители, находящиеся в группе Гости, имеют ряд ограничений на скачивание книг. После регистрации будут доступны все ссылки для скачивания, а также скрыта реклама на сайте.
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикаци.
|
|
|
|