Edsger Wybe Dijkstra: viața, munca și moștenirea sa

Titlul original:

Edsger Wybe Dijkstra: His Life, Work, and Legacy

Conținutul cărții:

Edsger Wybe Dijkstra (1930-2002) a fost unul dintre cei mai influenți cercetători din istoria informaticii, aducând contribuții fundamentale atât la teoria, cât și la practica calculatoarelor. La începutul carierei sale, a propus algoritmul celei mai scurte căi cu o singură sursă, denumit în prezent algoritmul lui Dijkstra. A scris (împreună cu Jaap Zonneveld) primul compilator ALGOL 60 și a proiectat și implementat, împreună cu colegii săi, influentul sistem de operare THE. Dijkstra a inventat domeniul algoritmilor concurențiali, cu concepte precum excluderea reciprocă, detectarea blocajelor și sincronizarea. Un scriitor prolific și un susținător puternic al conceptului de programare structurată, el a argumentat în mod convingător împotriva utilizării instrucțiunii Go To. În 1972 a primit premiul ACM Turing pentru "contribuții fundamentale la programare ca o provocare intelectuală de înalt nivel.

Pentru insistența elocventă și demonstrarea practică a faptului că programele ar trebui să fie compuse corect, nu doar depanate pentru a fi corecte.

Pentru percepția luminată a problemelor care stau la baza proiectării programelor". Ulterior, a inventat conceptul de auto-stabilizare relevant pentru calculul tolerant la erori. De asemenea, a conceput un limbaj elegant pentru programarea nedeterministă și semantica sa de precondiție cea mai slabă, prezentată în influenta sa carte din 1976, A Discipline of Programming (O disciplină a programării), în care a pledat pentru dezvoltarea de programe în concordanță cu dovezile de corectitudine ale acestora. În ultimele etape ale vieții sale, el a acordat multă atenție dezvoltării și prezentării demonstrațiilor matematice, oferind un sprijin suplimentar opiniei sale de lungă durată că procesul de programare ar trebui să fie privit ca o activitate matematică.

În această nouă carte unică, 31 de informaticieni, inclusiv cinci laureați ai premiului Turing, prezintă și discută numeroasele contribuții ale lui Dijkstra la știința calculatoarelor și evaluează impactul acestora. Mai mulți autori l-au cunoscut pe Dijkstra ca prieten, profesor, conferențiar sau coleg. Eseurile biografice și omagiile lor oferă o imagine fascinantă a lui Dijkstra, din primele zile ale carierei sale și până la sfârșitul vieții sale.