Edsger Wybe Dijkstra: élete, munkássága és hagyatéka

Eredeti címe:

Edsger Wybe Dijkstra: His Life, Work, and Legacy

Könyv tartalma:

Edsger Wybe Dijkstra (1930-2002) a számítástechnika történetének egyik legbefolyásosabb kutatója volt, aki alapvetően hozzájárult a számítástechnika elméletéhez és gyakorlatához egyaránt. Pályafutása korai szakaszában javasolta az egyforrású legrövidebb út algoritmust, amelyet ma Dijkstra algoritmusaként emlegetnek. Ő írta (Jaap Zonnevelddel együtt) az első ALGOL 60 fordítót, és kollégáival együtt megtervezte és megvalósította a nagy hatású THE operációs rendszert. Dijkstra találta fel az egyidejű algoritmusok területét, olyan fogalmakkal, mint a kölcsönös kizárás, a holtpontok felismerése és a szinkronizáció. Termékeny író és a strukturált programozás koncepciójának erőteljes támogatója, meggyőzően érvelt a Go To utasítás használata ellen. 1972-ben elnyerte az ACM Turing-díját "a programozáshoz mint magas szintű, intellektuális kihíváshoz való alapvető hozzájárulásáért".

Az ékesszóló ragaszkodásért és annak gyakorlati demonstrálásáért, hogy a programokat helyesen kell összeállítani, nem csak hibakeresésből kell a helyességig eljutni.

A programtervezés alapját képező problémák felismerésének megvilágításáért." Ezt követően feltalálta a hibatűrő számítástechnika szempontjából releváns önstabilizáció fogalmát. Emellett kidolgozott egy elegáns nyelvet a nemdeterminisztikus programozáshoz és annak leggyengébb előfeltétel szemantikáját, amely szerepelt A Discipline of Programming című befolyásos 1976-os könyvében, amelyben a programok fejlesztését a helyességük bizonyításával összhangban szorgalmazta. Élete későbbi szakaszában nagy figyelmet szentelt a matematikai bizonyítások fejlesztésének és bemutatásának, ezzel is alátámasztva azt a régóta vallott nézetét, hogy a programozási folyamatot matematikai tevékenységnek kell tekinteni.

Ebben az egyedülálló új könyvben 31 informatikus - köztük öt Turing-díjas - mutatja be és tárgyalja Dijkstra számítástudományhoz való számos hozzájárulását, és értékeli azok hatását. Több szerző barátként, tanárként, előadóként vagy kollégaként ismerte Dijkstrát. Életrajzi esszéik és méltatásaik lenyűgöző, több szerzőt felvonultató képet adnak Dijkstráról, pályafutásának kezdeti napjaitól egészen élete végéig.