Edsger Wybe Dijkstra: jeho život, dielo a odkaz

Pôvodný názov:

Edsger Wybe Dijkstra: His Life, Work, and Legacy

Obsah knihy:

Edsger Wybe Dijkstra (1930-2002) bol jedným z najvplyvnejších výskumníkov v histórii informatiky, ktorý zásadne prispel k teórii aj praxi výpočtovej techniky. Na začiatku svojej kariéry navrhol algoritmus najkratšej cesty s jedným zdrojom, ktorý sa dnes bežne označuje ako Dijkstrov algoritmus. Napísal (spolu s Jaapom Zonneveldom) prvý kompilátor jazyka ALGOL 60 a spolu so svojimi kolegami navrhol a implementoval vplyvný operačný systém THE. Dijkstra vynašiel oblasť súbežných algoritmov s pojmami ako vzájomné vylúčenie, detekcia mŕtveho bodu a synchronizácia. Bol plodným spisovateľom a presvedčivým zástancom koncepcie štruktúrovaného programovania, presvedčivo argumentoval proti používaniu príkazu Go To. V roku 1972 mu bola udelená cena ACM Turing Award za "zásadný prínos k programovaniu ako vysokej, intelektuálnej výzve.

Za výrečné naliehanie a praktickú demonštráciu toho, že programy by sa mali správne zostavovať, nielen ladiť do správnosti.

Za osvetľovanie vnímania problémov v základoch tvorby programov." Následne vynašiel koncept samostabilizácie, ktorý je dôležitý pre výpočtovú techniku odolnú voči chybám. Navrhol tiež elegantný jazyk pre nedeterministické programovanie a jeho sémantiku najslabších predpokladov, ktoré sa objavili v jeho vplyvnej knihe A Discipline of Programming z roku 1976, v ktorej obhajoval vývoj programov v súlade s dôkazmi ich správnosti. V neskorších fázach svojho života venoval veľkú pozornosť vývoju a prezentácii matematických dôkazov, čím poskytol ďalšiu podporu svojmu dlhodobému názoru, že na proces programovania by sa malo pozerať ako na matematickú činnosť.

V tejto jedinečnej novej knihe 31 informatikov vrátane piatich držiteľov Turingovej ceny predstavuje a rozoberá Dijkstrove početné príspevky k informatike a hodnotí ich vplyv. Viacerí autori poznali Dijkstru ako priateľa, učiteľa, prednášateľa alebo kolegu. Ich životopisné eseje a pocty poskytujú fascinujúci obraz Dijkstru od začiatku jeho kariéry až po koniec jeho života.