Главная » Файлы » Книги и журналы

Довек Ж., Леви Ж.-Ж. - Введение в теорию языков программирования (2013)


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


Название: Введение в теорию языков программирования
Автор: Довек Ж., Леви Ж.-Ж.
Год: 2013
Жанр: программирование, обучение
Серия: Классика программирования
Издательство: ДМК-Пресс
Язык: Русский

Формат: pdf
Качество: eBook
Страниц: 135
Размер: 3,5 MB
Скачать Довек Ж., Леви Ж.-Ж. - Введение в теорию языков программирования (2013)

Экономте на покупках в магазинах Aliexpress

Понравилась новость. Поделись с друзьями.

Вы сейчас просматриваете статью Довек Ж., Леви Ж.-Ж. - Введение в теорию языков программирования (2013). Данная статья находится в категории Книги и журналы. Чтобы увидеть другие новости из этой категории, перейдите по этой ссылке: Книги и журналы. Надеемся вам понравилась статья Довек Ж., Леви Ж.-Ж. - Введение в теорию языков программирования (2013) и пригодилась.
Категория: Книги и журналы | Добавил: didl3 | Теги: книга, Введение в теорию языков программир, компьютерная литература, программирование
Просмотров: 12 |


Другие новости:
 
  • Fresh Trance Pack (2015)
  • Dream Trance Sexy Dance (2015)
  • VA - Absolut Musik Pop Coctail (2013)
  • VA - Clean Vocal House (2014)
  • VA -The High R8 LP (2014)
  • VA - Orient Vibez Highline (2014)
  • Лирика Шансона: Озноб Души (2015)
  • VA -Dance Summer Hit (2014)
  • Mystical Motion Of Sound (2015)
  • VA -VA-Future Trance 68 (2014)
  • Psy Trance Master (2015)
  • Chris Duarte Group – Lucky 13 (2014)
  • VA -Nova Ritmo Disco (2014)
  • VA -Extasy World Classics (2014)
  • VA - И Снова Про Рок (2014)
  • VA - Flower Houise Party (2014)
  • VA - There Where We Will Not Be (2013)
  • Great Time Indie Rock (2015)
  • VA - Радуга Музыкальных Хитов (2014)
  • VA - Vocal Serena Sound (2014)