Избранное
Корзина
0
Корзина
0
Добавьте в корзину товаров ещё на 600 гривен, чтобы БЕСПЛАТНО получить товар по Украине до отделения Новой почты.

Ваша корзина пустая

Меню

Введение в теорию языков программирования

185 грн
Старая цена: 231 грн
Экономия: 46 грн
Доступно: 1
185 грн
Старая цена: 231 грн
Экономия: 46 грн
Доступно: 1


Описание
"Введение в теорию языков программирования". Ж. Довек.

В книге "Введение в теорию языков программирования" рассматриваются средства, которые необходимы для проектирования и реализации языков программирования, имеющих важнейшее значение в управлении сложными компьютерными системами. Это языки программирования - от Фортрана и Кобола до Caml и Java. Автор предлагает единый подход к разным формализмам для выбора языков программирования - операционной и денотационной семантике.

В книге подробно рассказывается о способах задания отношений между тремя основными объектами: программой, входным значением, результатом. Данные формализмы наглядно демонстрируются на примерах типичных элементов языков программирования: функции, рекурсия, присваивание, а также записи и объекты. Автор демонстрирует, что теория языков программирования заключается не в последовательном изучении определенных языков поочередно, а выстраивается вокруг механизмов, входящих в различные языки. Детальное изучение этих механизмов в книге ведет к разработке вычислителей, компиляторов, интерпретаторов. Позволяет реализовать алгоритмы определения типов для учебных языков.

Введение в теорию языков программирования

Артикул : 38094
Издательство : ДМК
Автор : Довек Ж.
ISBN13 : 978-5-94074-913-4
Формат : 60х90/16
EAN13 : 9785940749134
Страниц : 134
Год издания : 2013
Тип переплета : Мягкий

Описание
"Введение в теорию языков программирования". Ж. Довек.

В книге "Введение в теорию языков программирования" рассматриваются средства, которые необходимы для проектирования и реализации языков программирования, имеющих важнейшее значение в управлении сложными компьютерными системами. Это языки программирования - от Фортрана и Кобола до Caml и Java. Автор предлагает единый подход к разным формализмам для выбора языков программирования - операционной и денотационной семантике.

В книге подробно рассказывается о способах задания отношений между тремя основными объектами: программой, входным значением, результатом. Данные формализмы наглядно демонстрируются на примерах типичных элементов языков программирования: функции, рекурсия, присваивание, а также записи и объекты. Автор демонстрирует, что теория языков программирования заключается не в последовательном изучении определенных языков поочередно, а выстраивается вокруг механизмов, входящих в различные языки. Детальное изучение этих механизмов в книге ведет к разработке вычислителей, компиляторов, интерпретаторов. Позволяет реализовать алгоритмы определения типов для учебных языков.

Цитаты пользователей

Всего цитат
0

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Отзывы

Отзывы
0 рецензий

Только зарегистрированные пользователи могут оставлять комментарии. Войдите, пожалуйста.

Параметры

Артикул : 38094
Издательство : ДМК
Автор : Довек Ж.
ISBN13 : 978-5-94074-913-4
Формат : 60х90/16
EAN13 : 9785940749134
Страниц : 134
Год издания : 2013
Тип переплета : Мягкий
Все права защищены © 2003-2018 Bookzone.com.ua              Условия использования | Политика конфиденциальности