Edsger Wybe Dijkstra: jego życie, praca i dziedzictwo

Oryginalny tytuł:

Edsger Wybe Dijkstra: His Life, Work, and Legacy

Zawartość książki:

Edsger Wybe Dijkstra (1930-2002) był jednym z najbardziej wpływowych badaczy w historii informatyki, wnosząc fundamentalny wkład zarówno w teorię, jak i praktykę obliczeniową. Na początku swojej kariery zaproponował algorytm najkrótszej ścieżki z jednego źródła, obecnie powszechnie nazywany algorytmem Dijkstry. Napisał (wraz z Jaapem Zonneveldem) pierwszy kompilator ALGOL 60 oraz zaprojektował i wdrożył wraz ze swoimi współpracownikami wpływowy system operacyjny THE. Dijkstra wynalazł dziedzinę algorytmów współbieżnych, z koncepcjami takimi jak wzajemne wykluczanie, wykrywanie zakleszczeń i synchronizacja. Jako płodny pisarz i zdecydowany zwolennik koncepcji programowania strukturalnego, przekonująco argumentował przeciwko użyciu instrukcji Go To. W 1972 roku otrzymał nagrodę ACM Turing Award za "fundamentalny wkład w programowanie jako wysokie, intelektualne wyzwanie.

Za elokwentny nacisk i praktyczną demonstrację, że programy powinny być poprawnie skomponowane, a nie tylko debugowane do poprawności.

Za rozjaśnienie postrzegania problemów leżących u podstaw projektowania programów". Następnie wynalazł koncepcję samostabilizacji istotną dla obliczeń odpornych na błędy. Opracował również elegancki język programowania niedeterministycznego i jego najsłabszą semantykę warunków wstępnych, przedstawioną w jego wpływowej książce A Discipline of Programming z 1976 roku, w której opowiadał się za rozwojem programów w porozumieniu z ich dowodami poprawności. W późniejszych etapach swojego życia poświęcił wiele uwagi rozwojowi i prezentacji dowodów matematycznych, zapewniając dalsze wsparcie dla swojego długo utrzymywanego poglądu, że proces programowania powinien być postrzegany jako działalność matematyczna.

W tej wyjątkowej książce 31 informatyków, w tym pięciu laureatów Nagrody Turinga, przedstawia i omawia liczne zasługi Dijkstry dla informatyki oraz ocenia ich wpływ. Kilku autorów znało Dijkstrę jako przyjaciela, nauczyciela, wykładowcę lub współpracownika. Ich eseje biograficzne i hołdy dostarczają fascynującego, wieloautorskiego obrazu Dijkstry, od wczesnych dni jego kariery do końca jego życia.