Вільям Клінґер (вчений) — Вікіпедія

Вільям Клінґер
Місце проживанняБостон Редагувати інформацію у Вікіданих
Країна США Редагувати інформацію у Вікіданих
Діяльністьінформатик, викладач університету Редагувати інформацію у Вікіданих
Alma materМассачусетський технологічний інститут[1] Редагувати інформацію у Вікіданих
Галузьінформатика Редагувати інформацію у Вікіданих
ЗакладПівнічно-Східний університет Редагувати інформацію у Вікіданих
Науковий керівникКарл Г'юїттd[1] Редагувати інформацію у Вікіданих
Аспіранти, докторантиFelix S Klock IId[1] Редагувати інформацію у Вікіданих
Особ. сторінкаkhoury.northeastern.edu/people/william-d-clinger Редагувати інформацію у Вікіданих

Вільям Клінґер (англ. William D. Clinger) — професор в коледжі комп'ютерних та інформаційних наук Північно-східного університету[2]. Клінґер відомий своєю роботою над мовами вищого порядку і мовами функційного програмування, і особливо за свій внесок в стандартизацію мови Scheme. Клінґер був редактором Revised Reports on Scheme від другої до п'ятої (R2RS — R5RS)[3], та запрошеним доповідачем про Scheme на ювілейній конференції Lisp50 на честь 50-ліття мови Lisp[4]. Працює в Північно-східному університеті з 1994[5].

Дослідження

[ред. | ред. код]

Отримав докторський ступінь від Массачусетського технологічного інституту під керівництвом Карла Евіта[en]. Тема його докторської стосувалась визначення денотаційної семантики для моделі акторів,[6] яка була моделлю обчислень що спровокувала розробку мови Scheme[7].

Крім редагування стандартів Scheme R2RS — R5RS, його внеском до мови була розробка компіляторів для двох реалізацій мови: MacScheme[8], та Larceny[9].

Примітки

[ред. | ред. код]
  1. ↑ а б в Математичний генеалогічний проєкт — 1997.
  2. ↑ William D. Clinger. College of Computer and Information Science Faculty. Архів оригіналу за 4 червня 2013. Процитовано 1 червня 2013.
  3. ↑ Scheme Standards. SchemePunks. Архів оригіналу за 21 березня 2011. Процитовано 9 січня 2009.
  4. ↑ Schedule. Lisp50. Архів оригіналу за 6 січня 2009. Процитовано 9 січня 2009.
  5. ↑ Costanza, Pascal (October 2008). William Clinger will speak at Lisp50. Lisp50. Архів оригіналу за 9 лютого 2018. Процитовано 10 січня 2009.
  6. ↑ William Clinger (June 1981). Foundations of Actor Semantics. Mathematics Doctoral Dissertation. MIT. Архів оригіналу за 25 липня 2019. Процитовано 8 лютого 2018.
  7. ↑ «We wanted to better understand Hewitt's actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages.»Guy L. Steele; Gerald Jay Sussman (December 1998). The First Report on Scheme Revisited (PDF). Higher-Order and Symbolic Computation. 11 (4): 399—404. doi:10.1023/A:1010079421970. Архів оригіналу (PDF) за 15 червня 2006. Процитовано 19 червня 2006.
  8. ↑ Kantrowitz, Mark; Barry Margolin (1997). Commercial Scheme implementations. FAQ: Scheme Implementations and Mailing Lists. Архів оригіналу за 20 вересня 2016. Процитовано 10 січня 2009. MacScheme is a Scheme interpreter and compiler for the Apple Macintosh, and includes an editor, debugger and object system. ... Implemented by Will Clinger, John Ulrich, Liz Heller and Eric Ost.
  9. ↑ Clinger, William D. (2008). History. The Larceny Project. Архів оригіналу за 3 березня 2016. Процитовано 10 січня 2009.

Посилання

[ред. | ред. код]
Отримано з https://uk.wikipedia.org/w/index.php?title=Вільям_Клінґер_(вчений)&oldid=41112604