Уильям Клингер (ученый-компьютерщик)
Профессор Уильям Д. Клингер | |
|---|---|
| Гражданство | Соединенные Штаты |
| Образование | доктор философии, Массачусетский технологический институт |
| Известный |
|
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Северо-Восточный университет |
| Докторантура | Карл Хьюитт |
Уильям Д. Клингер — доцент Колледжа компьютерных наук Хури Северо-Восточного университета . [1] Он известен своей работой над языками программирования высшего порядка и функциональными языками программирования , а также обширным вкладом в создание и внедрение международных технических стандартов для языка программирования Scheme через Институт инженеров по электротехнике и электронике (IEEE) и Американский национальный институт стандартов (ANSI). ). Клингер был редактором второго-пятого пересмотренных отчетов о схеме (R). 2 РС – Р 5 РС), [2] и приглашенный докладчик по Scheme на конференции Lisp50, посвященной 50-летию языка Lisp . [3] С 1994 года работает на факультете Северо-Восточного университета. [4]
Исследовать
[ редактировать ]Клингер получил докторскую степень в Массачусетском технологическом институте (MIT) под руководством Карла Хьюитта . Его докторские исследования вращались вокруг определения денотационной семантики актерской модели параллельных вычислений . [5] это та же самая модель вычислений, которая изначально мотивировала разработку Scheme. [6]
Помимо редактирования R 2 РС – Р 5 Стандарты RS Scheme, вклад Клингера в Scheme включал разработку компиляторов для двух реализаций языка: MacScheme , [7] и воровство. [8] Он также изобрел эффективные алгоритмы для гигиеничного расширения макросов, точного преобразования десятичных чисел в двоичные и сборки мусора с ограниченной задержкой . [3]
Ссылки
[ редактировать ]- ^ «Уильям Д. Клингер» . Колледж компьютерных наук Хури . Северо-Восточный университет . Проверено 7 апреля 2019 г.
- ^ «Схемы стандартов» . СхемаПанки . Проверено 9 января 2009 г.
- ^ Jump up to: а б Расписание . Лисп50 . Проверено 9 января 2009 г.
- ^ Костанца, Паскаль (октябрь 2008 г.). «Уильям Клингер выступит на Lisp50» . Лисп50 . Проверено 10 января 2009 г.
- ^ Клингер, Уильям (июнь 1981 г.). «Основы семантики актеров» . Докторская диссертация по математике. Массачусетский технологический институт. hdl : 1721.1/6935 .
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Стил, Гай Л .; Сассман, Джеральд Джей (декабрь 1998 г.). «Первый отчет о пересмотре схемы» (PDF) . Вычисления высшего порядка и символьные вычисления . 11 (4): 399–404. дои : 10.1023/А:1010079421970 . S2CID 7704398 . Проверено 19 июня 2006 г.
- ^ Кантровитц, Марк; Марголин, Барри (1997). «Реализация коммерческой схемы» . Часто задаваемые вопросы: Реализация схем и списки рассылки . Проверено 10 января 2009 г.
MacScheme — это интерпретатор и компилятор Scheme для Apple Macintosh, включающий редактор, отладчик и объектную систему. ... Реализовано Уиллом Клингером, Джоном Ульрихом, Лиз Хеллер и Эриком Остом.
- ^ Клингер, Уильям Д. (2008). «История» . Проект «Воровство» . Проверено 10 января 2009 г.
