Закрыто

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

Тема в разделе "Электронные книги", создана пользователем prophet, 6 май 2013.

Цена: 454р.
Взнос: 194р.-57%
100%

Основной список: 11 участников

Резервный список: 2 участников

  1. 6 май 2013
    #1
    Топикстартер
    Топикстартер ЧКЧлен клуба

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

    [​IMG]

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

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

    Переводчики уже успели зарекомендовать с положительной стороны, сделав перевод "Жемчужины проектирования алгоритмов. Функциональный подход".
    Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования - операционной и денотационной семантике. Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в различные языки. Изучение таких механизмов в книге приводит к разработке вычислителей, интерпретаторов и компиляторов, а также к реализации алгоритмов вывода типов для учебных языков.
     
  2. Обсуждение
  3. 6 май 2013
    #2
    konstantin_q
    konstantin_q ДолжникДолжник
    Погуглил авторов:
    Скрытая ссылка - учился в École polytechnique, работал над Coq, работает в INRIA.
    Скрытая ссылка - Lambda Calculus, Term Rewriting Systems, Concurrency, Mobility, Programming languages. Operating Systems, Interactive Graphics, CAD. Работает в INRIA, преподавал в École polytechnique.
    Если перевод не вырвиглазный, должно быть интересно.
     
  4. 22 май 2013
    #3
    _nxc_
    _nxc_ СкладчикСкладчик
    Там больше математика, или сравнительный анализ фич различных языков?
     
  5. 30 май 2013
    #4
    duhon
    duhon ЧКЧлен клуба
    минималки достигли. Нужен только орг.
     
  6. 10 июн 2013
    #5
    voidrealms
    voidrealms ДолжникДолжник
    Включил в цену стоимость доставки.
     
  7. 30 июн 2013
    #6
    voidrealms
    voidrealms ДолжникДолжник
    Назначил предварительную дату сборов, если возражающих по поводу цены не будет, проведем, иначе перенесем.
     
  8. 30 июн 2013
    #7
    RobertTS
    RobertTS ЧКЧлен клуба
    давайте чуть подождем, это дороговато для книги подобного формфактора и специфики. почти рупь за страницу выходит
     
  9. 30 июн 2013
    #8
    konstantin_q
    konstantin_q ДолжникДолжник
    Как раз из-за специфики особо больше народу и не будет.
     
  10. 3 июл 2013
    #9
    voidrealms
    voidrealms ДолжникДолжник
    Ну что начинаем сборы или переносим?
     
  11. 3 июл 2013
    #10
    kaasnake
    kaasnake ОргОрганизатор
    Я готов к текущей цене
     
  12. 3 июл 2013
    #11
    konstantin_q
    konstantin_q ДолжникДолжник
    Я за текущую цену
     

Поделиться этой страницей