Дэвид Тернер (ученый-компьютерщик)
Дэвид А. Тернер | |
|---|---|
| Рожденный | 26 января 1946 г. |
| Умер | 19 октября 2023 г. (77 лет) |
| Гражданство | Великобритания |
| Образование | Доктор Фил. , Оксфордский университет |
| Известный | SASL , Кентский рекурсивный калькулятор , Миранда |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Лондонский университет королевы Марии Техасский университет в Остине Кентский университет в Кентербери Миддлсексский университет |
| Докторантура | Кристофер Стрейчи и Дана Скотт |
| Веб-сайт | www |
Дэвид А. Тернер (26 января 1946 — 19 октября 2023) — британский учёный-компьютерщик. Он наиболее известен разработкой и реализацией трех языков программирования , в том числе первого для функционального программирования , основанного на ленивых вычислениях , сокращении графов комбинаторов и полиморфных типах : SASL (1972), Kent Recursive Calculator (KRC) (1981) и коммерчески поддерживаемый язык программирования. Миранда (1985).
Работа Тернера над Мирандой оказала сильное влияние на более поздний Haskell . [1] Тернер сначала реализовал SASL, используя абстрактную машину SECD , но затем переопределил их в 1978 году, используя комбинаторное исчисление SKI . [2] Этот подход использовали Томас Джонссон и Леннарт Аугустссон при разработке g-машины. [3] который превратился в стандартный механизм ленивых вычислений в языках с вызовом по мере необходимости .
В 1981 году Тернер получил степень доктора философии (D.Phil.) в Оксфордском университете за диссертацию «Аспекты реализации языков программирования: компиляция аппликативного языка для комбинаторной логики», которой руководили Кристофер Стрейчи и Дана. Скотт . [4] [5] [6] Он занимал профессорские должности в Колледже Королевы Марии в Лондоне , Техасском университете в Остине и Кентском университете в Кентербери, где провел большую часть своей карьеры и сохранил за собой звание почетного профессора вычислительной техники.
Тернер участвовал в разработке международных стандартов в области программирования и информатики, будучи членом Международной федерации обработки информации (IFIP) рабочей группы 2.1 IFIP по алгоритмическим языкам и исчислениям. [7] которая определила , поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68 . [8] Он также был членом рабочей группы IFIP 2.8 по функциональному программированию, которая имела отношение к созданию им Миранды. [9]
Тернер был почетным профессором Кентского университета и Миддлсексского университета в Англии. [10] [11]
Родители Тернера были еврейскими иммигрантами во втором поколении, а сам Тернер был ярым сторонником равных прав для палестинцев . Он был исполнительным членом ICAHD UK. [12] и часто говорил на эту тему. [13] Тернер умер 19 октября 2023 года в возрасте 77 лет. [4]
Публикации [ править ]
- Тернер, Дэвид А. Руководство по языку SASL. Тех. представитель CS/75/1. Департамент вычислительных наук, Университет Сент-Эндрюс , 1975 год.
- Тернер, Д.А. (1979). «Новая методика реализации аппликативных языков». Программное обеспечение: практика и опыт . 9 : 31–49. дои : 10.1002/спе.4380090105 . S2CID 40541269 .
- Другой алгоритм абстракции скобок , Д. А. Тернер, Журнал символической логики, 44 (2): 267–270, 1979.
- Функциональное программирование и его приложения , Д. А. Тернер, издательство Кембриджского университета, 1982.
- Генератор анализатора для использования с Мирандой , Симпозиум ACM по прикладным вычислениям, страницы 401–407, Филадельфия, США, февраль 1996 г.
- Элементарное сильное функциональное программирование , Д. А. Тернер, Р. Пласмейер, П. Хартель, ред., «Первый международный симпозиум по языкам функционального программирования в образовании», Конспекты лекций по информатике , том 1022, страницы 1–13, Springer-Verlag , 1996 г. .
- Обеспечение потока потоков , Аластер Телфорд и Дэвид Тернер, в Джонсоне, изд., «Алгебраическая методология и технология программного обеспечения», 6-я Международная конференция, AMAST '97, Сидней, Австралия, декабрь 1997 г., Конспекты лекций по информатике, том 1349, страницы 509– 523. AMAST, Springer-Verlag, декабрь 1997 г.
- Обеспечение производительности бесконечных структур , AJTelford, DATurner, «Технический отчет TR 14-97», 37 страниц, Вычислительная лаборатория Кентского университета, март 1998 г. Подано в «Журнал функционального программирования».
- Обеспечение прекращения работы в ESFP , А. Дж. Телфорд и Д. А. Тернер, в «15-м Британском коллоквиуме по теоретической информатике», стр. 14, Кил, апрель 1999 г. Публикуется в «Журнале универсальной информатики».
- Иерархия элементарных языков с сильными свойствами нормализации , AJTelford, DATurner, «Технический отчет TR 2-00», 66 страниц, Вычислительная лаборатория Кентского университета, январь 2000 г.
- Полное функциональное программирование , Основной доклад, стр. 1–15, SBLP 2004, Рио-де-Жанейро, май 2004 г.
- Тезис Чёрча и функциональное программирование , в издании А. Ольшевского, «Диссертация Чёрча через 70 лет», страницы 518–544, Ontos Verlag, 2006.
Ссылки [ править ]
- ^ Худак, Пол; Хьюз, Джон (2007). «История Haskell: лень на занятиях» .
- ^ Д.А. Тернер (1979). «Новая техника реализации аппликативных языков». Программное обеспечение: практика и опыт . дои : 10.1002/спе.4380090105 .
- ^ Леннарт Аугустссон ; Томас Джонссон (ноябрь 1989 г.). «Параллельная редукция графа с помощью (v, G)-машины». FPCA '89: Материалы четвертой международной конференции по функциональным языкам программирования и компьютерной архитектуре : 202–213. дои : 10.1145/99370.99386 .
- ^ Перейти обратно: а б Сара Николас (24 ноября 2023 г.). «Некролог Дэвида Тернера» . Хранитель .
- ^ Тернер, Дэвид. «Генеалогия» . Домашняя страница Дэвида Тернера . Проверено 28 ноября 2023 г.
- ^ «Дэвид А. Тернер» . Проект математической генеалогии . Проверено 28 ноября 2023 г.
- ^ Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 14 октября 2020 г. .
- ^ Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 14 октября 2020 г. .
- ^ Ральф Хинце (2016). «WG2.8 Функциональное программирование» .
- ^ «Дэвид Тернер – изобретатель Миранды» . лямбда DAλS . 2017 . Проверено 21 ноября 2023 г.
- ^ «Дэвид Тернер – дизайнер SASL, KRC и Miranda» . СИНХРОНИЗАЦИЯ КОДА . 2020 . Проверено 21 ноября 2023 г.
- ^ «Принудительное перемещение на оккупированных палестинских территориях» . Израильский комитет против сноса домов . 2018.
- ^ «Перспективы решения израильско-палестинского конфликта» . Гуманисты Центрального Лондона. 23 ноября 2017 г.
Внешние ссылки [ править ]
- Официальный сайт Кентского университета в Кентербери
- Страница сотрудников Университета Миддлсекса заархивирована на Archive.org.
- Язык функционального программирования Миранда.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- 1946 года рождения
- 2023 смерти
- Преподаватели Лондонского университета королевы Марии
- Академики Кентского университета
- Преподаватели Университета Миддлсекса
- Британские ученые-компьютерщики
- Члены кафедры компьютерных наук Оксфордского университета
- Выпускники колледжа Брасеноз в Оксфорде
- Разработчики языков программирования
- Исследователи языков программирования