John C. Reynolds - John C. Reynolds
John C. Reynolds | |
---|---|
narozený |
John Charles Reynolds
1. června 1935 Spojené státy
|
Zemřel | 28.dubna 2013 | (ve věku 77)
Státní občanství | Spojené státy |
Vzdělání |
Purdue University Ph.D. , Harvard University (1961) |
Známý jako | pokračování , definiční tlumočníci, defunkcionalizace , Forsythe, jazyk Gedanken, typy křižovatek , polymorfní lambda kalkul , relační parametricita , separační logika , ALGOL |
Ocenění | Lovelace medaile (2010) |
Vědecká kariéra | |
Pole | Počítačový vědec |
Instituce |
Syracuse University Carnegie Mellon University |
Teze | Povrchové vlastnosti jaderné hmoty (1961) |
Doktorandi | Benjamin C. Pierce |
webová stránka | www |
John Charles Reynolds (1. června 1935 - 28. dubna 2013) byl americký počítačový vědec .
Vzdělání a přidružení
John Reynolds studoval na Purdue University a poté získal doktor filozofie (Ph.D.) z teoretické fyziky na Harvardské univerzitě v roce 1961. Byl profesorem informační vědy na Syracuse University v letech 1970 až 1986. Od té doby až do své smrti byl profesor výpočetní techniky na Carnegie Mellon University . Zastával také hostující pozice na Aarhuské univerzitě ( Dánsko ), University of Edinburgh , Imperial College London , Microsoft Research ( Cambridge ) a Queen Mary, University of London , Velká Británie (UK).
Akademická práce
Reynoldsův hlavní výzkumný zájem byl v oblasti programování programovacích jazyků a souvisejících specifikačních jazyků , zejména pokud jde o formální sémantiku . Vynalezl polymorfní lambda kalkul (systém F) a formuloval vlastnost sémantické parametricity ; 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 na pokračováních a zavedla techniku defunkcionalizace . Aplikoval teorii kategorií na sémantiku programovacího jazyka . Definoval programovací jazyky Gedanken a Forsythe, známé tím, že používají typy křižovatek . Pracoval na logice separace, aby popsal a zdůvodnil 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ěž učinil přesvědčivý metodický argument týkající se vhodnosti místních účinků v kontextu jazyků podle jména , na rozdíl od globálních účinků používaných jazyky podle hodnoty , jako je ML . Díky koncepční integritě jazyka se stal jedním z hlavních objektů sémantického výzkumu, spolu s Programming Computable Functions (PCF) a ML.
Byl redaktorem časopisů, jako jsou komunikace ACM a Journal of ACM . V roce 2001 byl jmenován členem Asociace pro výpočetní techniku (ACM). V roce 2003 získal cenu ACM SIGPLAN Programming Language Achievement Award a medaili Lovelace od Britské počítačové společnosti 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
- „Transformační systémy a algebraická struktura atomových vzorců“ (PDF) . Inteligence strojů . 5 : 135–151. 1970.
- "Směrem k teorii struktury typů" . Colloque sur la Programmation . Paříž, Francie. 1974. s. 408–425. doi : 10.1007 / 3-540-06859-7_148 .
- „Typy, abstrakce a parametrický polymorfismus“ (PDF) . Zpracování informací '83 . 1983. str. 513–523.
- „Logika separace: Logika pro sdílené proměnlivé datové struktury“ (PDF) . 17. IEEE Symposium on Logic in Computer Science (LICS 2002) . str. 55–74. doi : 10.1109 / LICS.2002.1029817 .
Reference
Další čtení
- Olivier Danvy , Peter O'Hearn a Philip Wadler (redaktoři), „ Festschrift k 70. narozeninám Johna C. Reynoldse “. Teoretická informatika , 375 (1–3): 1–350, 1. května 2007. Úvodník, strany 1–2. doi : 10.1016 / j.tcs.2006.12.024
- Stephen Brookes , Peter O'Hearn a Uday Reddy , „ Esence Reynoldse “. POPL 2014, strany 251–256. doi : 10,1145 / 2535838,2537851
externí odkazy
- Oficiální webové stránky
- Životopis
- John C. Reynolds na serveru DBLP Bibliography Server
- John C. Reynolds v projektu Mathematics Genealogy Project
- Ověření programu a sémantika: Další práce (London, 2004)