0/5, Голосов: 0
Закрыто

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

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

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

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

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

  1. Топикстартер

    Топикстартер ЧКЧлен клуба

    [​IMG]

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

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

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

    konstantin_q ДолжникДолжник

    Погуглил авторов:
    who.rocq.inria.fr/Gilles.Dowek/ - учился в École polytechnique, работал над Coq, работает в INRIA.
    pauillac.inria.fr/~levy/ - Lambda Calculus, Term Rewriting Systems, Concurrency, Mobility, Programming languages. Operating Systems, Interactive Graphics, CAD. Работает в INRIA, преподавал в École polytechnique.
    Если перевод не вырвиглазный, должно быть интересно.
     
  3. _nxc_

    _nxc_ СкладчикСкладчик

    Там больше математика, или сравнительный анализ фич различных языков?
     
  4. duhon

    duhon ЧКЧлен клуба

    минималки достигли. Нужен только орг.
     
  5. voidrealms

    voidrealms ДолжникДолжник

    Включил в цену стоимость доставки.
     
  6. prophet

    prophet БанЗабанен

    Я б на Ваш вопрос ответил так: "больше математические основания фич современных языков программирования" :)
    Если интересует облегченная литература конкретно с обзором фич ява,си++ и си шарп, то можно записаться в другую складчину.
    http://skladchik.com/threads/Языки-и-методы-программирования-304-стр-2012.10987/
     
  7. voidrealms

    voidrealms ДолжникДолжник

    Назначил предварительную дату сборов, если возражающих по поводу цены не будет, проведем, иначе перенесем.
     
  8. RobertTS

    RobertTS ЧКЧлен клуба

    давайте чуть подождем, это дороговато для книги подобного формфактора и специфики. почти рупь за страницу выходит
     
  9. konstantin_q

    konstantin_q ДолжникДолжник

    Как раз из-за специфики особо больше народу и не будет.
     
  10. voidrealms

    voidrealms ДолжникДолжник

    Ну что начинаем сборы или переносим?
     
  11. kaasnake

    kaasnake ЧКЧлен клуба

    Я готов к текущей цене
     
  12. konstantin_q

    konstantin_q ДолжникДолжник

    Я за текущую цену
     

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