Дэниел П. Фридман - Daniel P. Friedman

Доктор Дэниел Пол Фридман.
Родившийся 1944 (76–77 лет)
Альма-матер Хьюстонский университет
Известен Языки программирования
Научная карьера
Поля Компьютерная наука

Дэниел Пол Фридман (родился в 1944 г.) - профессор компьютерных наук Университета Индианы в Блумингтоне, штат Индиана . Его исследования сосредоточены на языках программирования , и он является известным автором в этой области.

Вместе с Дэвидом Вайсом Фридман написал очень влиятельную статью о ленивом программировании , особенно о ленивых потоках ( ICALP, 1976). Статья под названием «Против не должны оценивать свои аргументы» - одна из первых публикаций, призывающих к исследованию стиля программирования с потенциально бесконечными структурами данных и формы программирования, не использующей вычислительных эффектов (хотя программы могут расходиться). В течение 1970-х годов Фридман и Уайз глубоко исследовали эту тему, а также рассмотрели возможности расширения мира параллельных вычислений.

В 1980-х Фридман обратился к изучению языка программирования Scheme . Он исследовал использование макросов для определения языков программирования; вместе с Юджином Кольбекером, Матиасом Фелляйзеном и Брюсом Дуба он представил понятие гигиенических макросов в статье LFP 1986 года, которая до сих пор широко цитируется. Вместе с Кристофером Т. Хейнсом и Митчеллом Уандом он одновременно изучал природу объектов продолжения , их использование и возможности ограничения. После этого Фридман и Фелляйзен ввели лямбда-исчисление с продолжениями и операторами управления . Их работа породила работу над семантикой, связями между классической логикой и вычислениями и практическими расширениями продолжений.

Фридман также является плодовитым автором учебников. Его первый учебник, «Маленький LISPer» , датируется 1974 годом и до сих пор печатается в четвертом издании, которое теперь называется «Маленький интриган» (совместно с Фелляйзеном). Фридман и Фелляйзен написали еще три «маленьких» книги в 1990-х: «Маленький MLer» , «Опытный разработчик» и «Маленькая Java , несколько шаблонов» .

Фридман также является ведущим автором учебника по языкам программирования « Основы программирования». Таким образом, он изменил ландшафт учебников по языкам в 1980-х, сместив акцент с изучения языков на изучение принципов с помощью ряда переводчиков. Сегодняшние учебники по этой теме, как правило, следуют этой организации, используя операционную семантику и теорию типов вместо интерпретаторов. Как и The Little LISPer , « Основы языков программирования» - это долговечная книга, которая сейчас находится в третьем издании.

Совсем недавно Фридман возобновил работу над своей серией "Little" с The Reasoned Schemer (с Уильямом Бердом и Олегом Киселевым), объясняя логическое программирование с помощью расширения Scheme, и с The Little Prover (с Карлом Истлундом), вводя индуктивные доказательства как способ узнать факты о компьютерных программах.

Рекомендации

Книги

Дэниел П. Фридман является автором или соавтором следующих книг:

внешние ссылки