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

Энтони Джон Филд 40k

(Anthony John Field)

(08.07.1960)

  ◄  СМЕНИТЬ  ►  |▼ О СТРАНИЦЕ ▼
▼ ОЦИФРОВЩИКИ ▼|  ◄  СМЕНИТЬ  ►  
Британский преподаватель информатики. Дипломированный инженер. Лауреат премии У. Ридинга, 1981; Член Института инженеров по электротехнике и электронике, Institution Elec. Ассоциация инженеров вычислительной техники.
Филд Энтони Джон родился 8 июля 1960 года в Борнмуте, Дорсет, Англия. Сын Артура Стэнли и Джессамин Барбары Филд.
Бакалавр компьютерных наук, Университет Ридинг, Англия, 1981 год; Диплом доктора философии в области вычислительной техники, Имперский колледж, Лондон, 1985 год.
Научный сотрудник, У. Ридинг, 1981 г.; научный сотрудник, Имперский колледж, Лондон, 1984-1985 годы; преподаватель информатики, Имперский колледж, Лондон, 1985-1997 годы; старший преподаватель Имперского колледжа, Лондон, с 1997 г. Директор Perdix Ltd., Лондон. Консультант International Computers Limited, Брэкнелл, Англия, с 1991 года.
Энтони Джон Филд был включен в список выдающихся преподавателей информатики по версии журнала Marquis Who's Who.
:
звездочет, Михаил...




  • Филд А... Функциональное программирование. (Functional Programming) [Djv-Fax-13.6M] [Pdf-Fax-15.0M] Авторы: Энтони Джон Филд, Петер Харрисон (Anthony John Field, Peter G. Harrison). Перевод с английского М.В. Горбатовой, А.А. Рябинина, В.Л. Торхова, М.В. Федорова под редакцией В.А. Горбатова. Научное издание.
    (Москва: Издательство «Мир»: Редакция литературы по информатике, 1993)
    Скан, обработка, формат Djv-Fax: ???, предоставил: Михаил, 2014; доработка, формат Pdf-Fax: звездочет, 2023
    • КРАТКОЕ СОДЕРЖАНИЕ:
      Предисловие редактора перевода (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).
ИЗ ИЗДАНИЯ: В книге английских специалистов рассмотрены проблемы аппликативного программирования, существенно повышающего интеллектуальность разрабатываемых программ по сравнению с традиционным программированием. При этом спецификация предметной области существенно упрощает труд программиста. Особое внимание уделяется вопросам реализации функциональных языков, основанной на Лямбда-исчислении Черча. В качестве базового языка рассматривается функциональный язык Норе, имеющий простой и ясный синтаксис. Изложение сопровождается многочисленными примерами конкретных программ.
Для программистов как начинающих, так и профессионалов, а также специалистов в области информатики.