Дэвид Тернер (ученый-компьютерщик)

Дэвид А. Тернер
Дэвид А. Тернер
Рожденный	26 января 1946 г. ; Баттерси , Лондон , Англия
Умер	19 октября 2023 г. (77 лет)
Гражданство	Великобритания
Образование	Доктор Фил. , Оксфордский университет
Известный	SASL , Кентский рекурсивный калькулятор , Миранда
	Научная карьера
Поля	Информатика
Учреждения	Лондонский университет королевы Марии ; Техасский университет в Остине ; Кентский университет в Кентербери ; Миддлсексский университет
Докторантура	Кристофер Стрейчи и Дана Скотт
Веб-сайт	www .cs .кент .и .uk /люди /персонал /что

Дэвид А. Тернер (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). «Новая техника реализации аппликативных языков». Программное обеспечение: практика и опыт . 9 : 31–49. дои : 10.1002/спе.4380090105 .
^ Леннарт Аугустссон ; Томас Джонссон (ноябрь 1989 г.). «Параллельная редукция графа с помощью (V, G)-машины». Материалы четвертой международной конференции «Функциональные языки программирования и компьютерная архитектура» — FPCA '89 . стр. 202–213. дои : 10.1145/99370.99386 . ISBN 0-89791-328-0 .
^ Перейти обратно: ^а ^б Сара Николас (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.
Язык функционального программирования Миранда.

[1] Худак, Пол; Хьюз, Джон (2007). «История Haskell: лень на занятиях» .

[2] Д.А. Тернер (1979). «Новая техника реализации аппликативных языков». Программное обеспечение: практика и опыт . 9 : 31–49. дои : 10.1002/спе.4380090105 .

[3] Леннарт Аугустссон ; Томас Джонссон (ноябрь 1989 г.). «Параллельная редукция графа с помощью (V, G)-машины». Материалы четвертой международной конференции «Функциональные языки программирования и компьютерная архитектура» — FPCA '89 . стр. 202–213. дои : 10.1145/99370.99386 . ISBN 0-89791-328-0 .

[:0-4] Перейти обратно: ^а ^б Сара Николас (24 ноября 2023 г.). «Некролог Дэвида Тернера» . Хранитель .

[5] Тернер, Дэвид. «Генеалогия» . Домашняя страница Дэвида Тернера . Проверено 28 ноября 2023 г.

[6] «Дэвид А. Тернер» . Проект математической генеалогии . Проверено 28 ноября 2023 г.

[7] Журинг, Йохан; Меертенс, Ламберт ; Гутманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы ИФИП 2.1» . Фосвики . Проверено 14 октября 2020 г. .

[8] Свирстра, немец; Гиббонс, Джереми ; Меертенс, Ламберт (2 марта 2011 г.). «ScopeEtc: IFIP21: Foswiki» . Фосвики . Проверено 14 октября 2020 г. .

[9] Ральф Хинце (2016). «WG2.8 Функциональное программирование» .

[lambdadays-10] «Дэвид Тернер – изобретатель Миранды» . лямбда DAλS . 2017 . Проверено 21 ноября 2023 г.

[codesync-11] «Дэвид Тернер – дизайнер SASL, KRC и Miranda» . СИНХРОНИЗАЦИЯ КОДА . 2020 . Проверено 21 ноября 2023 г.

[12] «Принудительное перемещение на оккупированных палестинских территориях» . Израильский комитет против сноса домов . 2018.

[13] «Перспективы решения израильско-палестинского конфликта» . Гуманисты Центрального Лондона. 23 ноября 2017 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ
Национальный	Норвегия Франция Данные БнФ Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП MathSciNet Проект математической генеалогии zbMATH
Другой	ЗАКУСКА ИдРеф