Войти
| Доктор. Дэниел Пол Фридман. | |
|---|---|
| Alma mater | Университет Хьюстона |
| Известный | языками программирования |
| Научная карьера | |
| Области | Компьютерные науки |
Дэниел Пол Фридман (родился в 1944 г.) - профессор информатики в Университете Индианы в Блумингтоне, Индиана. Его исследования сосредоточены на языках программирования, и он является известным автором в этой области.
Вместе с Дэвидом Вайсом Фридман написал очень влиятельную статью о ленивом программировании, особенно о ленивых потоках (ICALP 1976). Статья под названием «Против не должны оценивать свои аргументы» - одна из первых публикаций, призывающих к исследованию стиля программирования с потенциально бесконечными структурами данных и формы программирования, не использующей вычислительные эффекты (хотя программы могут расходиться). В течение 1970-х годов Фридман и Уайз глубоко исследовали эту тему, а также рассмотрели возможности расширения мира параллельных вычислений.
В 1980-х Фридман обратился к изучению языка программирования Scheme. Он исследовал использование макросов для определения языков программирования; вместе с Юджином Кольбекером, Матиасом Фелляйзеном и Брюсом Дуба он совместно представил понятие гигиенических макросов в статье 1986 LFP, которая до сих пор широко цитируется. Вместе с Кристофером Т. Хейнсом и Митчеллом Уандом он одновременно изучал природу объектов продолжения, их использование и возможности ограничения. После этого Фридман и Фелляйзен ввели лямбда-исчисление с продолжениями и операторами управления. Их работа породила работы по семантике, связям между классической логикой и вычислениями, а также по практическим расширениям продолжений.
Фридман также является плодовитым автором учебников. Его первый учебник, The Little LISPer, датируется 1974 годом и до сих пор печатается в четвертом издании, которое теперь называется «Маленький интриган» (совместно с Фелляйзеном). Фридман и Фелляйзен написали еще три «маленьких» книги в 1990-х годах: «Маленький MLer,« Опытный планировщик »и« Немного Java, «Несколько шаблонов».
Фридман также является ведущим автором Основы языков программирования, учебника по языкам программирования. Таким образом, он изменил ландшафт учебников по языкам в 1980-х, сместив акцент с изучения языков на изучение принципов с помощью ряда переводчиков. Сегодняшние учебники по этой теме, как правило, следуют этой организации, используя операционную семантику и теорию типов вместо интерпретаторов. Как и The Little LISPer, «Основы языков программирования» - это долговечная книга, которая сейчас находится в третьем издании.
Совсем недавно Фридман возобновил работу над своей серией "Little" с The Reasoned Schemer (с Уильямом Э. Бердом и Олегом Киселевым), объясняя логическое программирование с помощью расширения Scheme и с помощью Маленький доказывающий (с Карлом Истлундом), вводящий индуктивные доказательства как способ установления фактов о компьютерных программах.
Дэниел П. Фридман является автором или соавтором следующих книг:
