«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Филд Антони
.

Антони Филд 1k

(Anthony J. Field)

()

.
.
антони филд на страницах библиотеки упоминается 1 раз:
* Филд Антони
.
  • Филд А... Функциональное программирование. (Functional Programming) [Djv-13.6M] Авторы: А. Филд, П. Харрисон. Перевод с английского М.В. Горбатовой, А.А. Рябинина, В.Л. Торхова, М.В. Федорова под редакцией В.А. Горбатова. Научное издание.
    (Москва: Издательство «Мир». Редакция литературы по информатике, 1993)
    Скан, обработка, формат Djv: ???, предоставил: Михаил, 2014
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (6).
      Часть I. ПРОГРАММИРОВАНИЕ С ПОМОЩЬЮ ФУНКЦИЙ (8).
      Введение (8).
      Глава 1. Введение в функции (11).
      Глава 2. Введение в функциональное программирование. Язык Норе (20).
      Глава 3. Функции высшего порядка (55).
      Глава 4. Виды вычислений (71).
      Глава 5. Другие стили функционального программирования (88).
      Часть II. РЕАЛИЗАЦИЯ (117).
      Введение (47).
      Глава 6. Математические основы: Лямбда-исчисление (120).
      Глава 7. Система вывода типов и проверка типов (153).
      Глава 8. Промежуточные формы (179).
      Глава 9. Методы интерпретации (206).
      Глава 10. Реализация на основе стеков - SECD-машина (228).
      Глава 11. Введение в редукцию графов (256).
      Глава 12. Комбинаторная редукция (291).
      Глава 13. Новейшие комбинаторные реализации (325).
      Глава 14. Потоковые реализации (360).
      Глава 15. Компиляции функциональных языков (385).
      Глава 16. Сборка мусора (437).
      Часть III. ОПТИМИЗАЦИЯ (472).
      Введение (472).
      Глава 17. Преобразование программ и операционный подход (478).
      Глава 18. Алгебраическое преобразование программ (502).
      Глава 19. Запоминание (539).
      Глава 20. Абстрактная интерпретация (561).
      Приложение А. Краткое описание языка Норе (580).
      Приложение Б. Основы теории доменов (586).
      Приложение В. Формальная семантика (593).
      Решение некоторых упражнений (604).
      Литература (621).
      Предметный указатель (625).
Аннотация издательства: В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанной на Лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Норе, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ.
Для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.
.