Введение в теорию языков программирования
| Main Author: | |
|---|---|
| Other Authors: | |
| Summary: | Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. Книга из коллекции ДМК Пресс - Информатика |
| Published: |
Москва, ДМК Пресс, 2013
|
| Subjects: | |
| Online Access: | http://e.lanbook.com/books/element.php?pl1_id=82826 https://e.lanbook.com/img/cover/book/82826.jpg |
| Format: | Electronic Book |
MARC
| LEADER | 00000nam0a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 82826 | ||
| 010 | |a 978-5-94074-913-4 | ||
| 100 | |a 20200604d2013 k y0rusy01020304ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y z 000zy | ||
| 106 | |a z | ||
| 200 | 1 | |a Введение в теорию языков программирования |b Электронный ресурс |f Довек Ж., Леви Ж. -. | |
| 210 | |a Москва |b Москва |c ДМК Пресс |d 2013 | ||
| 215 | |a 134 с. | ||
| 330 | |a Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков. | ||
| 333 | |a Книга из коллекции ДМК Пресс - Информатика | ||
| 610 | 0 | |a компьютерные и информационные науки | |
| 675 | |a 004.43 | ||
| 686 | |a 32.973-018 |2 rubbk | ||
| 700 | 1 | |a Довек |b Ж. | |
| 701 | 1 | |a Леви |b Ж. -. | |
| 801 | 1 | |a RU |b Издательство Лань |c 20200604 |g RCR | |
| 856 | 4 | |u http://e.lanbook.com/books/element.php?pl1_id=82826 | |
| 856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/82826.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/82826.jpg | ||