John C. Reynolds - John C. Reynolds

John C. Reynolds
Reynolds John small.jpg
narozený
John Charles Reynolds

(1935-06-01)1. června 1935
Spojené státy
Zemřel28.dubna 2013(2013-04-28) (ve věku 77)
Státní občanstvíSpojené státy
VzděláváníPurdue University
Ph.D., Harvardská Univerzita (1961)
Známý jakopokračování, definiční tlumočníci, defunkcionalizace, Forsythe, jazyk Gedanken, typy křižovatek, polymorfní lambda kalkul, relační parametricita, logika separace, ALGOL
OceněníLovelace medaile (2010)
Vědecká kariéra
PolePočítačový vědec
InstituceSyrakuská univerzita
Univerzita Carnegie Mellon
TezePovrchové vlastnosti jaderné hmoty (1961)
DoktorandiBenjamin C. Pierce
webová stránkawww.cs.cmu.edu/ ~ jcr

John Charles Reynolds (1. června 1935 - 28. dubna 2013) byl americký počítačový vědec.[1]

Vzdělání a přidružení

John Reynolds studoval na Purdue University a pak získal doktor filozofie (Ph.D.) v teoretická fyzika z Harvardská Univerzita v roce 1961. Byl profesorem informační věda na Syrakuská univerzita od roku 1970 do roku 1986. Od té doby až do své smrti byl profesorem počítačová věda na Univerzita Carnegie Mellon. Zastával také hostující pozice v Aarhuská univerzita (Dánsko ), University of Edinburgh, Imperial College London, Microsoft Research (Cambridge ) a Queen Mary, University of London, Spojené království (SPOJENÉ KRÁLOVSTVÍ).

Akademická práce

Reynoldsův hlavní výzkumný zájem byl v oblasti programovací jazyk design a související specifikační jazyky, zejména pokud jde o formální sémantika. Vynalezl polymorfní lambda kalkul (Systém F) a formuloval vlastnost sémantiky parametricita; stejný počet nezávisle objevil Jean-Yves Girard. Napsal seminární práci o definičních tlumočnících, která objasnila ranou práci pokračování a představil techniku defunkcionalizace. Přihlásil se teorie kategorií do programovacího jazyka sémantika. Definoval programovací jazyky Gedanken a Forsythe, známé svým používáním typy křižovatek. Pracoval na logika separace popsat a zdůvodnit sdílené proměnlivé datové struktury.

Reynolds vytvořil elegantní idealizovanou formulaci programovacího jazyka ALGOL, který vykazuje syntaktickou a sémantickou čistotu ALGOL a používá se při výzkumu programovacího jazyka. Rovněž předložila přesvědčivý metodický argument týkající se vhodnosti místních účinků v kontextu call-by-name jazyků, na rozdíl od globálních efektů používaných call-by-value jazyky jako ML. Díky koncepční integritě jazyka se stal jedním z hlavních objektů sémantického výzkumu Programování vypočítatelných funkcí (PCF) a ML.[2]

Byl redaktorem časopisů jako Komunikace ACM a Deník ACM. V roce 2001 byl jmenován členem Sdružení pro výpočetní techniku (ACM). Vyhrál Ocenění ACM SIGPLAN Programming Language Achievement Award v roce 2003 a Lovelace medaile z Britská počítačová společnost v roce 2010.

Vybrané publikace

Knihy
  • Řemeslo programování, Prentice Hall International, 1981. ISBN  0-13-188862-5.
  • Teorie programovacích jazyků, Cambridge University Press, 1998. ISBN  0-521-59414-6.
Články

Reference

  1. ^ Fisher, Larry (29 dubna 2013). „John Reynolds, 1935–2013“. Komunikace ACM: Zprávy ACM. Spojené státy: Sdružení pro výpočetní techniku. Citováno 30. dubna 2013.
  2. ^ O'Hearn, Petere; Tennent, Robert D. (1997). Algol-jako jazyky. Cambridge, Massachusetts, Spojené státy: Birkhauser Boston. doi:10.1007/978-1-4612-4118-8. ISBN  978-0-8176-3880-1.

Další čtení

externí odkazy