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

Для других людей по имени Дэвид Тернер см. Дэвид Тернер (значения).

Дэвид А. Тернер
Родившийся1946 (73–74 года)
Гражданствообъединенное Королевство
ОбразованиеD.Phil., Оксфордский университет
ИзвестенSASL, Рекурсивный калькулятор Кента, Миранда
Научная карьера
ПоляИнформатика
УчрежденияЛондонский университет королевы Марии
Техасский университет в Остине
Кентский университет в Кентербери
Университет Мидлсекса
Интернет сайтwww.cs.kent.ac.Великобритания/люди/штат сотрудников/ dat

Дэвид А. Тернер (1946 г.р.) Британский специалист в области информатики. Он наиболее известен разработкой и реализацией трех языки программирования, в том числе первый за функциональное программирование на основе ленивая оценка, редукция комбинаторного графа, и полиморфные типы: SASL (1972), Рекурсивный калькулятор Кента (KRC) (1981), и коммерчески поддерживаемые Миранда (1985). Миранда оказала сильное влияние на более поздние Haskell.[1]

У него есть Доктор Философии (Д. Фил.) Из Оксфордский университет. Он занимал должность профессора в Колледж Королевы Марии, Лондон, Техасский университет в Остине и Кентский университет в Кентербери, где он провел большую часть своей карьеры и сохранил за собой звание заслуженного профессора вычислений.

Он участвовал в разработке международные стандарты в программировании и информатике, как член Международная федерация обработки информации (ИФИП) Рабочая группа 2.1 ИФИП по алгоритмическим языкам и исчислениям,[2] который указан, поддерживает и поддерживает языки программирования АЛГОЛ 60 и АЛГОЛ 68.[3]

Он также является почетным профессором Университет Мидлсекса, Англия.

Публикации

  • Тернер, Дэвид А. Руководство по языку SASL. Tech. представитель CS / 75/1. Департамент вычислительных наук Университета Сент-Эндрюс 1975 г.
  • Тернер, Д.А. (1979). «Новая методика реализации прикладных языков». Программное обеспечение - практика и опыт. 9: 31. Дои:10.1002 / spe.4380090105.
  • Другой алгоритм абстракции скобок, Д. А. Тернер, Журнал символической логики, 44 (2): 267–270, 1979.
  • Функциональное программирование и его приложения, Д. А. Тернер, Издательство Кембриджского университета 1982.
  • Генератор парсеров для использования с Мирандой, Симпозиум ACM по прикладным вычислениям, страницы 401–407, Филадельфия, США, февраль 1996 г.
  • Элементарное строгое функциональное программирование, Д. А. Тернер, в R. Plasmeijer, P. Hartel, eds, "Первый международный симпозиум по языкам функционального программирования в образовании", Конспект лекций по информатике, том 1022, страницы 1–13, Springer-Verlag, 1996.
  • Обеспечение потока потоков, Аластер Телфорд и Дэвид Тернер, в издании Джонсона, «Алгебраическая методология и технология программного обеспечения», 6-я международная конференция, AMAST '97, Сидней, Австралия, декабрь 1997 г., конспект лекций по информатике, том 1349, страницы 509–523. AMAST, Springer-Verlag, декабрь 1997 г.
  • Обеспечение производительности бесконечных структур, А.Дж. Телфорд, Д.А. Тернер, «Технический отчет TR 14-97», 37 страниц, вычислительная лаборатория, Кентский университет, март 1998 г. На стадии представления в «Журнал функционального программирования».
  • Обеспечение завершения в ESFP, А. Дж. Телфорд и Д. А. Тернер, в «15-м Британском коллоквиуме по теоретической информатике», стр. 14, Кил, апрель 1999 г. Для публикации в «Журнале универсальных компьютерных наук».
  • Иерархия элементарных языков с сильными нормализационными свойствами, А. Дж. Телфорд, Д. А. Тернер, «Технический отчет TR 2-00», 66 страниц, Компьютерная лаборатория Кентского университета, январь 2000 г.
  • Полное функциональное программирование, Основной доклад, стр. 1–15, SBLP 2004, Рио-де-Жанейро, май 2004 г.
  • Тезис Черча и функциональное программирование, в издании А. Ольшевского, «Церковный тезис через 70 лет», страницы 518-544, Ontos Verlag, 2006.

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

  1. ^ Худак, Пол; Хьюз, Джон (2007). «История Haskell: лень с классом».
  2. ^ Jeuring, Йохан; Меертенс, Ламберт; Гуттманн, Вальтер (17 августа 2016 г.). «Профиль Рабочей группы 2.1 ИФИП». Фосвики. Получено 14 октября 2020.
  3. ^ Swierstra, Doaitse; Гиббонс, Джереми; Меертенс, Ламберт (2 марта 2011 г.). "ScopeEtc: IFIP21: Foswiki". Фосвики. Получено 14 октября 2020.

внешняя ссылка