Написал сообщение в тусовке литература
0 22 Октября Ответить
Написал сообщение в тусовке литература
0 25 Августа Ответить
Написал сообщение в тусовке литература
0 28 Июля Ответить
Написал сообщение в тусовке литература
0 17 Июля Ответить
Написал сообщение в тусовке литература
0 10 Июня Ответить
Написал сообщение в тусовке литература
0 20 Апреля Ответить
Написал сообщение в тусовке литература
0 13 Апреля Ответить
Написал сообщение в тусовке литература
0 27 Февраля Ответить
Написал сообщение в тусовке литература
0 21 Февраля Ответить
Написал сообщение в тусовке литература
0 31 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал сообщение в тусовке литература
0 8 Января Ответить
Написал рецензию в тусовке литература
0
0 7 Октября 2020 Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября 2020 Ответить
Написал рецензию в тусовке литература
0
0 2 Февраля 2020 Ответить
Для быстрого поиска начните вводить запрос
Введение в теорию языков программирования
от 174 руб.

Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга «Введение в теорию языков программирования» представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования – операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.

0.0
Ваша оценка 0.0 Отменить оценку
  • Год выхода
    2013
  • Издательства
    ДМК Пресс
  • Возраст
    0+
Персоны
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями