Daniel P. Friedman - Daniel P. Friedman

Daniel Paul Friedman (født 1944) er professor i informatikk ved Indiana University i Bloomington, Indiana . Hans forskning fokuserer på programmeringsspråk , og han er en fremtredende forfatter innen feltet.

Med David Wise skrev Friedman et svært innflytelsesrikt papir om lat programmering , spesielt om late streams ( ICALP 1976). Avisen, med tittelen "Cons burde ikke evaluere argumentene," er en av de første publikasjonene som presser på for å utforske en programmeringsstil med potensielt uendelige datastrukturer og en form for programmering som ikke bruker beregningseffekter (selv om programmer kan variere). I løpet av 1970-tallet utforsket Friedman og Wise temaet i dybden og vurderte også utvidelser til verden av parallell databehandling.

På 1980-tallet vendte Friedman seg til studiet av Scheme- programmeringsspråket. Han utforsket bruken av makroer for å definere programmeringsspråk; sammen med Eugene Kohlbecker, Matthias Felleisen og Bruce Duba, introduserte han forestillingen om hygieniske makroer i et LFP- papir fra 1986 som fortsatt siteres mye i dag. Med Christopher T. Haynes og Mitchell Wand studerte han samtidig arten av fortsettelsesobjekter , deres bruk og mulighetene for å begrense dem. Etter det introduserte Friedman og Felleisen en lambdakalkulus med fortsettelser og kontrolloperatører . Arbeidet deres har skapt arbeid med semantikk, sammenhenger mellom klassisk logikk og beregning, og praktiske utvidelser av fortsettelser.

Friedman er også en produktiv lærebokforfatter. Hans første lærebok, The Little LISPer , dateres tilbake til 1974 og er fortsatt på trykk i sin fjerde utgave, nå kalt The Little Schemer (med Felleisen). Friedman og Felleisen skrev tre "små" bøker til på 1990-tallet: The Little MLer , The Seasoned Schemer , and A Little Java , A Few Patterns .

Friedman er også hovedforfatter av Essentials of Programming Languages , en lærebok om programmeringsspråk. Som sådan endret det landskapet på språkbøker på 1980-tallet, og skiftet fokus fra språkundersøkelser til studiet av prinsipper via tolkeserier. Dagens lærebøker om dette emnet har en tendens til å følge denne organisasjonen, ved å bruke operativ semantikk og typeteori i stedet for tolker. I likhet med The Little LISPer er Essentials of Programming Languages en langlevende bok og er i sin tredje utgave nå.

Senest fortsatte Friedman arbeidet med sin "Little" -serie med The Reasoned Schemer (med William E. Byrd og Oleg Kiselyov), og forklarte logisk programmering via en utvidelse av Scheme, og med The Little Prover (med Carl Eastlund), og introduserte induktive bevis som en måte å fastslå fakta om dataprogrammer på.

Referanser

Bøker

Daniel P. Friedman er forfatter eller medforfatter av følgende bøker:

• Den lille Lisper ISBN   0-262-56038-0
• The Little Schemer ISBN   0-262-56099-2
• The Little MLer ISBN   0-262-56114-X
• Litt Java, noen få mønstre ISBN   0-262-56115-8
• The Seasoned Schemer ISBN   0-262-56100-X
• The Reasoned Schemer ISBN   0-262-56214-6
• The Little Prover ISBN   0-262-52795-2
• Essentials of Programming Languages ISBN   0-262-06217-8
• Ordningen og kunsten å programmere ISBN   0-262-19288-8
• Koordinert databehandling: Verktøy og teknikker for distribuert programvare ISBN   0-07-022439-0
• The Little Typer ISBN   9780262536431

Eksterne linker

• Daniel P. Friedmans hjemmeside
• The Little Schemers hjemmeside
• Ulemper bør ikke evaluere argumentene, den tekniske rapportversjonen
• Nettside til DanFest, den akademiske feiringen av Friedmans 60-årsdag i 2004
  • "Dan Friedman - kule ideer" , Guy Steeles hovedtale på DanFest, gjennomgang av Friedmans arbeid