Скрыть объявление
Гость отличная новость! Мы открыли доступ к ранее скрытому контенту.

Вам доступно более 44 000 видео уроков, книг и программ без VIP статуса. Более подробно ЗДЕСЬ.

Архив [Классика программирования] Довек и Леви Введение в теорию языков программирования (134 стр.) 2013

Тема в разделе "Неактивные складчины (архив)", создана пользователем Volchek, 2 июн 2014.

0/5, Голосов: 0

  1. Volchek

    Volchek Модератор

    Сообщения:
    14.903
    Симпатии:
    13.538
    [​IMG]

    Оригинал: Introduction to the Theory of Programming Languages
    Авторы: Жиль Довек, Жан-Жак Леви
    Переводчики: В. Брагилевский, А. Пеленицын
    Язык: Русский
    Издательство: ДМК Пресс
    Серия: Классика программирования
    Год: 2013 г.
    Страниц: 134 стр.

    Отзывы на Амазоне: 4 звезды с 5 звезд

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