Из Википедии, свободной энциклопедии
Перейти к навигации Перейти к поиску
ПрофессорУильям Д. Клингер
ГражданствоСоединенные Штаты
ОбразованиеДоктор философии, Массачусетский технологический институт
Известен
Научная карьера
ПоляИнформатика
УчрежденияСеверо-Восточный университет
ДокторантКарл Хьюитт
Влияния

Уильям Д. Клинджер - доцент Колледжа компьютерных наук Хури Северо-Восточного университета . [1] Он известен своей работой над функциональными языками программирования высшего порядка и большим вкладом в создание и внедрение международных технических стандартов для языка программирования Scheme через Институт инженеров по электротехнике и электронике (IEEE) и американские национальные стандарты. Институт (ANSI). Клинджер был редактором второго-пятого пересмотренных отчетов по схеме (R 2 RS - R 5 RS), [2]и приглашенный докладчик по Scheme на конференции Lisp50, посвященной 50-летию языка Lisp . [3] Он работает на факультете Северо-Восточного университета с 1994 года. [4]

Исследование [ править ]

Клингер получил докторскую степень в Массачусетском технологическом институте (MIT) под руководством Карла Хьюитта . Его докторская исследования вращалась вокруг , образующей денотационная семантику для актера модели с параллельными вычислениями , [5] , которая является той же моделью вычисления , что изначально мотивированного развития схемы.

Мы хотели лучше понять модель акторов Хьюитта, но у нас возникли проблемы с соотнесением модели акторов и ее необычной терминологии со знакомыми понятиями программирования. Мы решили создать игрушечную реализацию языка актеров, чтобы с ней можно было поиграть. Используя MacLisp в качестве рабочей среды, мы написали крошечный интерпретатор Лиспа, а затем добавили механизмы для создания акторов и отправки сообщений .

-  Уильям Д. Клингер [6]

Помимо редактирования стандартов R 2 RS - R 5 RS Scheme, вклад Клингера в Scheme включал разработку компиляторов для двух реализаций языка: MacScheme , [7] и Larceny . [8] Он также изобрел эффективные алгоритмы для гигиеничного расширения макросов , точных десятичных преобразований в двоичные и генерации сборки мусора с ограниченной задержкой . [3]

Ссылки [ править ]

  1. ^ "Уильям Д. Клингер" . Колледж компьютерных наук Хури . Северо-Восточный университет . Проверено 7 апреля 2019 .
  2. ^ "Стандарты схемы" . SchemePunks . Проверено 9 января 2009 .
  3. ^ a b Расписание . Lisp50 . Проверено 9 января 2009 .
  4. ^ Костанца, Паскаль (октябрь 2008 г.). «Уильям Клингер выступит на Lisp50» . Lisp50 . Проверено 10 января 2009 .
  5. ^ Клинджер, Уильям (июнь 1981 г.). «Основы актерской семантики» . Докторская диссертация по математике. Массачусетский технологический институт. Цитировать журнал требует |journal=( помощь )
  6. ^ Стил, Гай Л .; Сассман, Джеральд Джей (декабрь 1998 г.). «Первый отчет о пересмотренной схеме» (PDF) . Вычисление высшего порядка и символическое вычисление . 11 (4): 399–404. DOI : 10,1023 / A: 1010079421970 . Проверено 19 июня 2006 .
  7. ^ Кантровиц, Марк; Марголин, Барри (1997). «Реализации коммерческих схем» . Часто задаваемые вопросы: реализации схем и списки рассылки . Проверено 10 января 2009 . MacScheme - это интерпретатор и компилятор схемы для Apple Macintosh, включающий редактор, отладчик и объектную систему. ... Осуществлено Уиллом Клингером, Джоном Ульрихом, Лиз Хеллер и Эриком Остом.
  8. ^ Клинджер, Уильям Д. (2008). «История» . Воровство . Проверено 10 января 2009 .

Внешние ссылки [ править ]

  • Официальный сайт