Daniel P. Friedman - Daniel P. Friedman

Pro ostatní lidi se stejným jménem viz Daniel Friedman (disambiguation).
Dr. Daniel Paul Friedman.
Alma materUniversity of Houston[1]
Známý jakoProgramovací jazyky
Vědecká kariéra
PolePočítačová věda

Daniel Paul Friedman (narozen 1944) je profesorem Počítačová věda na Indiana University v Bloomington, Indiana. Jeho výzkum se zaměřuje na programovací jazyky, a je významným autorem v této oblasti.

S Davidem Wise napsal Friedman velmi vlivnou práci líné programování, konkrétně na líné proudy (ICALP 1976). Článek s názvem „Nevýhody by neměly hodnotit jeho argumenty,“ [2] je jednou z prvních publikací prosazujících zkoumání programovacího stylu s potenciálně nekonečnými datovými strukturami a formou programování, která nevyužívá žádné výpočetní efekty (i když se programy mohou lišit). V 70. letech Friedman a Wise zkoumali toto téma do hloubky a uvažovali také o rozšířeních světa paralelních počítačů.

V 80. letech se Friedman obrátil ke studiu Systém programovací jazyk. Prozkoumal použití makra pro definování programovacích jazyků; s Eugenem Kohlbeckerem, Matthias Felleisen a Bruce Duba společně představil pojem hygienická makra v roce 1986 LFP papír, který je dodnes široce citován.[3] S Christopherem T. Haynesem a Mitchellem Wandem současně studoval povahu pokračovací objekty, jejich použití a možnosti jejich omezení.[4] Poté představili Friedman a Felleisen a lambda kalkul s pokračování a kontrolní operátoři.[5] Jejich práce přinesla práci na sémantice, spojení mezi klasickou logikou a výpočty a praktická rozšíření pokračování.[Citace je zapotřebí ]

Friedman je také plodným autorem učebnic. Jeho první učebnice, Malý LISPER, se datuje do roku 1974 a je stále v tisku ve svém čtvrtém vydání, nyní nazývaném Malý schemer (s Felleisenem). Friedman a Felleisen napsali v 90. letech další tři „malé“ knihy: Malý MLer, Ostřílený Schemer, a Trochu Jáva, Několik vzorů.

Friedman je také hlavním autorem knihy Základy programovacích jazyků, učebnice programovacích jazyků. Jako takový změnil v 80. letech prostředí jazykových učebnic a přesunul pozornost od průzkumů jazyků ke studiu principů prostřednictvím řady tlumočníků. Dnešní učebnice na toto téma mají tendenci následovat tuto organizaci a místo tlumočníků používají operační sémantiku a teorii typů. Jako Malý LISPER, Základy programovacích jazyků je kniha s dlouhým životem a nyní je ve třetím vydání.

Nejnověji Friedman pokračoval v práci na své „Malé“ sérii s Odůvodněný Schemer (s Williamem E. Byrdem a Olegem Kiselyovem), vysvětlující logické programování prostřednictvím rozšíření systému as Malý poskytovatel (s Carlem Eastlundem), zavedení induktivních důkazů jako způsobu stanovení faktů o počítačových programech.

Reference

  1. ^ „Večer s Danem Friedmanem“. 6. dubna 2016. Archivováno od originálu 11. března 2018. Citováno 11. září 2017 - přes Vimeo.
  2. ^ Friedman, Daniel P. (1976). "Nevýhody by neměly hodnotit své argumenty". ICALP. Citovat deník vyžaduje | deník = (Pomoc)
  3. ^ Friedman, Daniel P. (1986). "Hygienická makra". ACM Lisp a funkční programování. Citovat deník vyžaduje | deník = (Pomoc)
  4. ^ Friedman, Daniel P. (1984). "Omezující kontrola". ACM Principles of Programming Languages. Citovat deník vyžaduje | deník = (Pomoc)
  5. ^ Friedman, Daniel P. (1986). "Důvod s pokračováním l". Logika IEEE v informatice. Citovat deník vyžaduje | deník = (Pomoc)

Knihy

Daniel P. Friedman je autorem nebo spoluautorem následujících knih:

externí odkazy