Edsger W. Dijkstra

Edsger W. Dijkstra
Edsger Wybe Dijkstra.jpg
Dijkstra im Jahr 2002
Geboren 11. Mai 1930
RotterdamNiederlande
Gestorben 6. August 2002 (72 Jahre alt)
NuenenNiederlande
Staatsbürgerschaft Niederlande
Ausbildung Leiden Universität (B.S., M.S.)
Universität Amsterdam (Ph.D.)
Ehepartner (en) Maria (RIA) C. Debets
Auszeichnungen
Wissenschaftliche Karriere
Felder
Institutionen
These Kommunikation mit einem automatischen Computer (1959)
Doktorand Adriaan van Wijngaarden
Doktorand
Einflüsse
Beeinflusst

Edsger Wybe Dijkstra (/ˈdkstrə/ DEICH-strə; Niederländisch:[ˈƐtsxər ˈʋibə ˈdɛikstra] (Hören); 11. Mai 1930 - 6. August 2002) war ein Niederländisch Informatiker, Programmierer, Softwareentwickler, Systemwissenschaftlerund Wissenschaft Essayist.[6][7] Er erhielt die 1972 Turing Award für grundlegende Beiträge zur Entwicklung von Programmiersprachen und war der Schlumberger Centennial Chair of Computer Sciences am Universität von Texas in Austin Von 1984 bis 2000.

Kurz vor seinem Tod im Jahr 2002 erhielt er das ACM Podc Einflusser Papierpreis im verteilten Computer für seine Arbeiten an Selbststabilisierung der Programmberechnung. Diese jährliche Auszeichnung wurde in die umbenannt Dijkstra -Preis im folgenden Jahr zu seinen Ehren.

Biografie

Frühe Jahre

Edsger W. Dijkstra wurde in geboren Rotterdam. Sein Vater war ein Chemiker, der Präsident der war Niederländische Chemische Gesellschaft; Er unterrichtete Chemie an einer Sekundarschule und war später sein Superintendent. Seine Mutter war Mathematiker, hatte aber nie einen formellen Job.[8][9]

Dijkstra hatte eine Gesetzeskarriere in Betracht gezogen und gehofft, die Niederlande in der zu vertreten Vereinte Nationen. Nach dem Abschluss der Schule im Jahr 1948 studierte er jedoch auf den Vorschlag seiner Eltern Mathematik und Physik und dann und dann theoretische Physik Bei der Universität Leiden.[10]

In den frühen 1950er Jahren, elektronische Computer waren eine Neuheit. Dijkstra stolperte zufällig auf seine Karriere und durch seinen Vorgesetzten Professor Johannes Haantjes[NL], er traf Adriaan van Wijngaarden, der Direktor der Berechnungsabteilung bei der Mathematisches Zentrum in Amsterdam, der Dijkstra einen Job anbot; Er wurde offiziell der erste "Programmierer" der Niederlande im März 1952.[10]

Für einige Zeit blieb Dijkstra der Physik verpflichtet und arbeitete daran in Leiden drei Tage von jeder Woche. Mit zunehmender Berechnung begann sich jedoch sein Fokus zu verändern. Wie er sich erinnerte:[11]

Nachdem ich drei Jahre lang programmiert war, hatte ich eine Diskussion mit A. van Wijngaarden, wer war damals mein Chef bei der Mathematisches Zentrum in Amsterdam, eine Diskussion, für die ich ihm dankbar bleiben werde, solange ich lebe. Der Punkt war, dass ich gleichzeitig die theoretische Physik an der Universität von Leiden studieren sollte, und als ich die beiden Aktivitäten immer schwerer zu kombinieren fand, musste ich mich entscheiden, um entweder das Programmieren zu stoppen und ein echtes, respektable zu werden theoretischer Physikeroder um mein Studium der Physik nur zu einem formellen Abschluss zu tragen, mit mindestens Anstrengung und werden ....., ja was? EIN Programmierer? Aber war das ein respektabler Beruf? Denn doch was war Programmierung? Wo war das sch ganze Wissen, das es als intellektuell respektable Disziplin unterstützen könnte? Ich erinnere mich sehr lebhaft daran, wie ich meine Hardware -Kollegen beneidete, die, wenn ich nach ihrer beruflichen Kompetenz gefragt hatte, zumindest darauf hinweisen konnte, dass sie alles über Vakuumröhren, Verstärker und den Rest wussten, während ich das Gefühl hatte, dass ich, wenn ich mit dieser Frage konfrontiert war, ich habe würde mit leeren Händen stehen. Voller Bedenken, als ich an Van Wijngaardens Büro -Tür klopfte und ihn fragte, ob ich "für einen Moment mit ihm sprechen" könne; Als ich einige Stunden später sein Büro verließ, war ich eine andere Person. Denn nachdem ich meine Probleme geduldig angehört hatte, stimmte er zu, dass bis zu diesem Moment keine große Programmierdisziplin gab, aber dann erklärte er leise, dass automatische Computer hier bleiben würden, dass wir erst am Anfang waren und konnten Ich bin nicht einer der Personen, die in den kommenden Jahren zur Programmierung zu einer respektablen Disziplin aufgerufen wurden? Dies war ein Wendepunkt in meinem Leben und ich habe mein Studium der Physik so schnell wie möglich formal abgeschlossen.

-Edsger Dijkstra, The Humble Programmer (EWD340), Kommunikation der ACM

Als Dijkstra 1957 Maria (RIA) C. Debets heiratete, musste er als Teil der Heiratsriten seinen Beruf angeben. Er erklärte, er sei ein Programmierer, der für die Behörden inakzeptabel sei und es in den Niederlanden keinen solchen Beruf gab.[11][12]

1959 erhielt er seine Doktorarbeit vor dem Universität Amsterdam Für eine These mit dem Titel "Kommunikation mit einem automatischen Computer", der einer Beschreibung der Montagesprache Entwickelt für den ersten kommerziellen Computer, der in den Niederlanden entwickelt wurde, die Electrologica X1. Sein These -Supervisor war Van Wijngaarden.[13]

Mathematisch Centrum, Amsterdam

Von 1952 bis 1962 arbeitete Dijkstra an der Mathematisch Centrum in Amsterdam,[13] wo er eng mit Arbeit zusammenarbeitete Bram Jan Loopstra und Carel S. Scholten, der angeheuert worden war, um einen Computer zu bauen. Ihre Interaktionsart war diszipliniert: Sie entscheiden zunächst über die Schnittstelle zwischen Hardware und Software, indem sie ein Programmierhandbuch schreiben. Dann müssten die Hardware -Designer ihrem Teil des Vertrags treu sein, während Dijkstra, der Programmierer, Software für die nicht existierende Maschine schreiben würde. Zwei der Lektionen, die er aus dieser Erfahrung lernte, waren die Bedeutung klarer Dokumentation, und das Programmdebuggen kann durch sorgfältiges Design weitgehend vermieden werden.[10] Dijkstra formulierte und löste die kürzestes Pfadproblem Für eine Demonstration bei der offiziellen Einweihung des Armac -Computers im Jahr 1956. Aufgrund des Fehlens von Zeitschriften, die dem automatischen Computer widmet, veröffentlichte er das Ergebnis erst 1959.

Im mathematischen Zentrum Dijkstra und sein Kollege Jaap Zonneveld[NL] entwickelte das erste Compiler Für die Programmiersprache Algol 60 Bis August 1960, mehr als ein Jahr bevor ein Compiler von einer anderen Gruppe produziert wurde.[10]

Eindhoven Universität für Technologie

Das Eindhoven Universität für Technologie, gelegen in Eindhoven Im Süden der Niederlande, wo Dijkstra von 1962 bis 1984 Professor für Mathematik war.

1962 zog Dijkstra auf Eindhovenund später zu Nuenen, im Süden der Niederlande, wo er Professor in der Mathematikabteilung in der Eindhoven Universität für Technologie.[13] Die Universität hatte keine separate Informatikabteilung und die Kultur der Mathematikabteilung passte nicht besonders zu ihm. Dijkstra versuchte, eine Gruppe von Informatikern aufzubauen, die bei der Lösung von Problemen zusammenarbeiten konnten. Dies war ein ungewöhnliches Forschungsmodell für die Mathematikabteilung.[10] In den späten 1960er Jahren baute er das Das Betriebssystem (benannt nach der Universität, damals bekannt als als Technischer Hoogenschool Eindhoven), was die Entwürfe der nachfolgenden Bezeichnungen beeinflusst hat Betriebssysteme Durch die Verwendung von Software -basierten virtuellen Speicher.[14]

Burroughs Corporation

Dijkstra schloss sich an Burroughs Corporation, ein Unternehmen, das dann für die Herstellung von Computern basiert, die auf einer innovativen Hardwarearchitektur basieren, wie es sein wissenschaftlicher Mitarbeiter im August 1973. Seine Aufgaben bestanden darin, einige der Forschungszentren des Unternehmens einige Male im Jahr zu besuchen und seine eigenen Forschungen durchzuführen, was er in der kleinsten Forschungseinrichtung von Burroughs, nämlich seine Studie über den zweiten Stock seines Hauses in Nuenen, durchführte . Tatsächlich war Dijkstra der einzige wissenschaftliche Fellow von Burroughs und arbeitete dafür aus zu Hause und reiste gelegentlich in seine Zweige in den USA. Infolgedessen reduzierte er seine Ernennung an der Universität auf einen Tag pro Woche. An diesem Tag, Dienstag, wurde bald als Tag des berühmten "Dienstagnachmittags Club" bekannt, einem Seminar, in dem er mit seinen wissenschaftlichen Artikeln mit seinen Kollegen diskutierte und alle Aspekte betrachtete: Notation, Organisation, Präsentation, Sprache, Inhalte usw. Kurz nachdem er 1984 in die gezogen war Universität von Texas in Austin (USA), eine neue "Zweigstelle" des Clubs am Dienstagnachmittag, entstand in Austin, Texas.[13]

In den Burroughs -Jahren war er in seiner Produktion von Forschungsartikeln in seiner Produktion. Er schrieb fast 500 Dokumente in der EWD -Serie (unten beschrieben), die meisten von ihnen, für den privaten Zirkulation innerhalb einer ausgewählten Gruppe.[10]

Die Universität von Texas in Austin

Das Universität von Texas in Austin, wo Dijkstra von 1984 bis 1999 den Schlumberger Centennial Chair in Computer Sciences hielt.

Dijkstra akzeptierte den Schlumberger Centennial Chair in der Informatikabteilung in der Universität von Texas in Austin 1984.

Letzten Jahren

Dijkstra arbeitete in Austin bis zu seiner Pensionierung im November 1999. zu markieren und seine über mehrundvierzig Jahre wegweisende Beiträge zu feiern InformatikDie Abteilung für Computerwissenschaften organisierte ein Symposium, das im Mai 2000 an seinem 70. Geburtstag stattfand.[10]

Dijkstra und seine Frau kehrten von Austin in sein ursprüngliches Haus zurück Nuenen (Niederlande), wo er feststellte, dass er nur Monate zu leben hatte. Er sagte, dass er in Austin zurücktreten wollte, Texas, aber in den Niederlanden zu sterben. Dijkstra starb am 6. August 2002 nach einem langen Kampf gegen Krebs.[15] Er und seine Frau Maria (RIA) Debets wurden von ihren drei Kindern überlebt: Marcus, Femke und der Informatiker Rutger M. Dijkstra.

Erbe

Zu seinen Beiträgen zur Informatik gehört a kürzester Weg Algorithmus, bekannt als Dijkstra -Algorithmus; das Hirtenalgorithmus; das Das Multiprogrammierungssystem, ein wichtiges frühes Beispiel für die Strukturierung eines Systems als Schichtmenge; das Banker -Algorithmus; und die Semaphor Konstrukte für die Koordination mehrerer Prozessoren und Programme. Ein weiteres Konzept aufgrund von Dijkstra im Bereich des verteilten Computers ist das von Selbststabilisierung - eine alternative Möglichkeit, die Zuverlässigkeit des Systems zu gewährleisten. Dijkstra -Algorithmus wird in SPF verwendet, Kürzester Weg zuerst, das in den Routing -Protokollen verwendet wird OSPF und Is-is.[16][17]

Persönlichkeit und Arbeitsstil

Dijkstra an der Tafel während einer Konferenz bei Eth Zürich 1994. bemerkte er einst ","Ein Bild kann mehr als tausend Worte wert sein, a Formel ist mehr als tausend Bilder. "[18]

Sie können kaum die Schuld geben M.I.T. dafür, dass ein obskurer Informatiker in einer kleinen Stadt in den Niederlanden nicht zur Kenntnis genommen wurde.

-Dijkstra beschrieben sich selbst in Nuenen Mitte der 1960er Jahre.[19]

In der Welt der Computerwissenschaft ist Dijkstra als "Charakter" bekannt. Im Vorwort seines Buches Eine Disziplin der Programmierung (1976) erklärte er Folgendes: "Für das Fehlen einer Bibliographie biete ich weder Erklärungen noch Entschuldigung." Tatsächlich haben die meisten seiner Artikel und Bücher überhaupt keine Referenzen.[13] Dieser Ansatz für Referenzen wurde von einigen Forschern bedauert. Aber Dijkstra wählte diese Art, seine Selbstständigkeit zu bewahren.

Als Universitätsprofessor für einen Großteil seines Lebens sah Dijkstra nicht nur als erforderliche Aktivität, sondern auch als ernstes Forschungsbemühungen.[10] Sein Ansatz zum Unterricht war unkonventionell.[20] Sein Vortragsstil wurde als eigenwillig beschrieben. Bei der Vorlesung wurden die langen Pausen zwischen Sätzen oft auf die Tatsache zurückgeführt, dass Englisch nicht Dijkstras Muttersprache ist. Die Pausen dienten jedoch auch als eine Möglichkeit für ihn, auf den Füßen zu denken, und er wurde als schneller und tiefer Denker angesehen, während er sich mit Vorträgen beschäftigt. Seine Kurse für Studenten in Austin hatten wenig mit Informatik zu tun, aber sie befassten sich mit der Präsentation mathematischer Beweise.[13] Zu Beginn von jedem Semester Er machte ein Foto von jedem der Schüler, um sich ihre Namen auswendig zu lernen. Er folgte nie einem Lehrbuchmit der möglichen Ausnahme seiner eigenen, während es in Vorbereitung war. Beim Vortrag schrieb er Beweise in Kreide auf eine Tafel, anstatt Overhead -Folien zu verwenden. Er lud die Schüler ein, Ideen vorzuschlagen, die er dann erkundete, oder weigerte sich zu erkunden, weil sie gegen einige seiner Grundsätze verstoßen hatten. Er beauftragte herausfordernde Hausaufgabenprobleme und studierte die Lösungen seiner Schüler gründlich. Er führte seine Abschlussprüfungen mündlich über eine ganze Woche durch. Jeder Student wurde in Dijkstra's Büro oder zu Hause untersucht, und eine Prüfung dauerte mehrere Stunden.[10]

Dijkstra war auch sehr originell in seiner Art, die Fähigkeit der Menschen für einen Job zu bewerten. Wann Vladimir Lifschitz Dijkstra kam 1990 für ein Vorstellungsgespräch nach Austin und gab ihm ein Rätsel. Vladimir löste es und arbeitet seitdem in Austin.[13]

Er hatte keinen Nutzen für Textverarbeitungenmit der Annahme, dass man in der Lage sein sollte, einen Brief oder einen Artikel ohne grobe Entwürfe zu schreiben, neu zu schreiben oder eine erhebliche Bearbeitung. Er würde alles in seinem Kopf ausarbeiten, bevor er einsetzte Stift Zu Papier und einmal erwähnte, dass er als Physikstudent seine Hausaufgabenprobleme in seinem Kopf lösen würde, während er durch die Straßen von den Straßen ging Leiden.[10] Die meisten Veröffentlichungen von Dijkstra wurden allein von ihm geschrieben. Er hatte nie eine Sekretärin und kümmerte sich allein um all seine Korrespondenz.[13] Wenn Kollegen a vorbereiteten Festschrift für seinen sechzigsten Geburtstag, veröffentlicht von von Springer-VerlagEr machte sich die Mühe, jedem der 61 Mitarbeiter getrennt in einem handgeschriebenen Brief zu danken.[13]

Während der gesamten Karriere von Dijkstra war seine Arbeit durch Eleganz und Wirtschaft gekennzeichnet.[13] Dijkstra, ein produktiver Schriftsteller (insbesondere als Essayist), verfasste mehr als 1.300 Artikel, viele von Hand in seinem genauen Drehbuch geschrieben. Sie waren Essays und Gleichnisse; Märchen und Warnungen; umfassende Erklärung und pädagogischer Vorwand. Bei den meisten ging es um Mathematik und Informatik; Andere waren Ausflugsberichte, die über ihren Autor mehr aufschlussreich sind als über die besuchten Menschen und Orte. Es war seine Gewohnheit, jedes Papier zu kopieren und an eine kleine Gruppe von Kollegen zu zirkulieren, die die Papiere kopieren und an eine andere begrenzte Gruppe von Wissenschaftlern weiterleiten.[21] Seine Liebesbeziehung mit Einfachheit kam schon in jungen Jahren und unter der Führung seiner Mutter. Er sagte einmal, er habe seine Mutter gefragt, ob Trigonometrie ein schwieriges Thema sei. Sie antwortete, dass er alle Formeln lernen müsse und dass er, wenn er mehr als fünf Zeilen benötigte, um etwas zu beweisen, auf dem falschen Track war.[22]

Dijkstra war berühmt für seinen Verstand, seine Beredsamkeit, seine Unhöflichkeit, seine Plötzlichkeit und seine Grausamkeit gegenüber Kollegen und einen Weg mit Worten, wie in seiner Bemerkung: " U -Boote können schwimmen. "[23] Sein Rat an einen vielversprechenden Forscher, der fragte, wie ein Thema für die Forschung ausgewählt werden soll, war die weisen Worte: "Tun Sie nur, was Sie nur tun können."[10] Dijkstra war auch bekannt für seine Stimmkritik und das Fehlen sozialer Fähigkeiten bei der Interaktion mit Kollegen. Als ausgesprochener und kritischer Visionär widersetzte er sich stark gegen die Lehre von BASIC.[24]

In vielen seiner witzigeren Essays beschrieb Dijkstra eine fiktive Firma, deren Vorsitzender er diente. Das Unternehmen hieß Mathematics, Inc., ein Unternehmen, das er sich vorgestellt hatte kommerzialisiert die Produktion von Mathematik Theoreme Ebenso wie Softwareunternehmen die Produktion von Computerprogrammen kommerzialisiert hatten. Er erfand eine Reihe von Aktivitäten und Herausforderungen von Mathematics Inc. und dokumentierte sie in mehreren Arbeiten in der EWD -Serie. Die imaginäre Firma hatte einen Beweis für das erstellt Riemann -Hypothese aber dann hatte ich große Schwierigkeiten beim Sammeln Lizenzgebühren von Mathematikern, die Ergebnisse unter Annahme der Riemann -Hypothese nachgewiesen hatten. Der Beweis selbst war a Geschäftsgeheimnis.[25] Viele der Beweise des Unternehmens wurden aus der Tür gebracht, und dann mussten ein Großteil der Bemühungen des Unternehmens ausgegeben werden Wartung.[26] Eine erfolgreichere Anstrengung war der Standardnachweis für Satz des PythagorasDies ersetzte die mehr als 100 inkompatiblen bestehenden Beweise.[27] Dijkstra beschrieb Mathematics Inc. als "das aufregendste und elendeste Geschäft, das jemals konzipiert wurde".[25] EWD 443 (1974) beschreibt sein fiktives Unternehmen als über 75 Prozent des Weltmarktanteils.[28][29]

Über die Natur der Informatik und der Computerprogrammierung

Im Der bescheidene Programmierer (1972) schrieb Dijkstra: "Wir dürfen nicht vergessen, dass es nicht unser Geschäft für [Computerwissenschaftler] ist, Programme zu machen, sondern es ist unser Geschäft, Kurse von Berechnungen zu entwerfen, die ein gewünschtes Verhalten aufweisen."

Dijkstra lehnte auch die Aufnahme von Softwareentwicklung Unter dem Dach der akademischen Informatik. Er schrieb, dass "als" Wirtschaft als "die elende Wissenschaft" bezeichnet wird, Software-Engineering als "die zum Scheitern verurteilte Disziplin" bezeichnet werden sollte, die zum Scheitern verurteilt werden kann, weil sie nicht einmal sein Ziel nähern kann, da ihr Ziel selbstverkontrahiert ist. " Und "Software Engineering hat als Charter angenommen.[30]

EWD -Manuskripte

Dijkstra war bekannt für seine Gewohnheit, Manuskripte sorgfältig mit seinem zu komponieren Füller. Die Manuskripte werden EWDS genannt, da Dijkstra sie mit nummeriert hat EWD, seine Initialen, als Präfix. Laut Dijkstra selbst begannen die EWDs, als er aus dem mathematischen Zentrum in zog Amsterdam an die Eindhoven University of Technology (damals Technische Hoogenschule Eindhoven). Nachdem er gegangen ist Eindhoven, Dijkstra erlebte a Schriftstellerblock mehr als ein Jahr. Dijkstra verteilte Fotokopien eines neuen EWD unter seinen Kollegen. Viele Empfänger fotokopierten und leiteten ihre Kopien weiter, sodass sich die EWDs in der gesamten internationalen Informatikgemeinschaft verbreiteten. Die Themen waren Informatik und Mathematik und enthielten Reiseberichte, Briefe und Reden. Diese kurzen Artikel erstrecken sich über einen Zeitraum von 40 Jahren. Fast alle EWDs, die nach 1972 erschienen, wurden handgeschrieben. Sie sind selten länger als 15 Seiten und nacheinander nummeriert. Der letzte, Nr. 1318, ist vom 14. April 2002. Innerhalb der Informatik sind sie als EWD -Berichte oder einfach die EWDS bekannt. Mehr als 1300 EWDs wurden gescannt, wobei eine wachsende Zahl transkribiert wurde, um die Suche zu erleichtern, und sind online im Dijkstra -Archiv der University of Texas erhältlich.[31]

Privatleben und Tod

Dijkstra führte bescheiden Lebensstilbis zum Spartaner.[13] Sein und das Haus seiner Frau in Nuenen war einfach, klein und bescheiden. Er besaß keinen Fernseher, einen Videorecorder oder ein Mobiltelefon und ging nicht ins Kino.[13] Er spielte das Klavier und während in während der Zeit in Austin, ging gern zu Konzerte. Ein begeisterter Zuhörer von klassische MusikDijkstras Lieblingskomponist war Mozart.[10]

Dijkstra starb am 6. August 2002. Laut Beamten der University of Texas war die Todesursache Krebs.[32][33][34]

Auszeichnungen und Ehrungen

Unter den Auszeichnungen und Ehrungen von Dijkstra sind:[35]

1969 die Britische Computergesellschaft (BCS) erhielt die Genehmigung für eine Auszeichnung und ein Stipendium, Distinguished Fellow of the British Computer Society (Dfbcs), die unter vergeben werden sollen Verordnung 7 von ihnen königliche Charta. 1971 wurde die erste Wahl nach Dijkstra getätigt.[40]

Im Jahr 1990 organisierte das Ministerium für Informatik (UTCS) an der Universität von Texas in Austin anlässlich des 60. Geburtstages von Dijkstra ein zweitägiges Seminar zu seinen Ehren. Die Sprecher kamen aus ganz den USA und Europa, und eine Gruppe von Informatikern führte zu Forschungsartikeln, die in ein Buch bearbeitet wurden.[41]

Im Jahr 2002 erkannte die C & C Foundation of Japan Dijkstra "für seine wegweisenden Beiträge zur Schaffung der wissenschaftlichen Grundlagen für Computersoftware durch kreative Forschung in der grundlegenden Softwaretheorie, der Algorithmus -Theorie, strukturierten Programmierungen und Semaphoren". Dijkstra war am Leben, um die Auszeichnung zu kündigen, aber sie wurde von seiner Familie in einer Preisverleihung nach seinem Tod akzeptiert.

Kurz vor seinem Tod im Jahr 2002 erhielt Dijkstra die ACM PODC Einflusspapierpreis in verteiltes Computer für seine Arbeit zur Selbststabilisierung der Programmberechnung. Diese jährliche Auszeichnung wurde in die umbenannt Dijkstra -Preis (Edsger W. Dijkstra Preis im verteilten Computer) im folgenden Jahr zu seinen Ehren.

Der Dijkstra Award für herausragende akademische Leistungen in Informatik (Loyola University Chicago, Abteilung für Informatik) ist nach Edsger W. Dijkstra benannt. Ab 2005 wird in dieser Auszeichnung die oberste akademische Leistung eines Abschlussfunktionsfachmanns ausgezeichnet. Die Auswahl basiert auf GPA in allen wichtigen Kursen und Wahlen der Abteilungsfakultät.[42]

Das Ministerium für Informatik (UTCS) an der Universität von Texas in Austin war am 12. Oktober 2010 den ersten Edsger W. Dijkstra Memorial Vortrag. Tony HoareEmeritus Professor bei Oxford und Hauptforscher bei Microsoft Research war der Sprecher der Veranstaltung. Diese Vorlesungsreihe wurde durch ein großzügiges Zuschuss von Schlumberger ermöglicht, um die Erinnerung an Dijkstra zu ehren.

Siehe auch

Ausgewählte Publikationen

Bücher
  • - (1962). Ein Primer der Algol 60 -Programmierung: zusammen mit dem Bericht über das algorithmische Sprachalgol 60. Akademische Presse. ISBN 978-0122162503.
  • -; Dahl, Ole-Johan; Hoare, C.A.R. (1972). Strukturierte Programmierung. Akademische Presse. ISBN 978-0-12-200550-3.
  • - (1976). Eine Disziplin der Programmierung. Prentice Hall. ISBN 978-0132158718.
  • - (1982). Ausgewählte Schriften zum Computer: Eine persönliche Perspektive. Monographien in Informatik. Springer. ISBN 978-0387906522.
  • -; Feijen, W.H.J.; Sterringa, Witz (1988). Eine Programmmethode. Addison-Wesley. ISBN 978-0201175363.
  • -; Scholten, Carel S. (1990). Prädikatkalkül und Programmsemantik. Texte und Monographien in der Informatik. Springer-Verlag. ISBN 978-0387969572.
Ausgewählte Artikel

Verweise

  1. ^ Hoare, C.A.R. (12. Oktober 2010). "The 2010 Edsger W. Dijkstra Memorial Lecture: Was können wir von Edsger W. Dijkstra lernen?". Abteilung für Informatik, Universität von Texas in Austin. Abgerufen 12. August 2015.
  2. ^ In seiner 2004er Memoire "Die Geschichte eines Programmierers: Das Leben eines Computerpioniers" schrieb Brinch Hansen, dass er "kooperierte sequentielle Prozesse" verwendete, um seine Arbeiten zur Implementierung von Multiprogrammen auf dem RC 4000 zu leiten und es zu beschrieb, sagte es: " Dieses Meisterwerk arbeitet in der Computerprogrammierung und legte die konzeptionelle Grundlage für die gleichzeitige Programmierung. "
  3. ^ Lamport, Leslie (2002). "2002 PODC einflussreicher Papierpreis". ACM -Symposium über Prinzipien des verteilten Computers. Abgerufen 22. September 2020. Edsger W. Dijkstra startete mit seinem 1965er CACM -Papier "Lösung eines Problems bei der gleichzeitigen Programmierkontrolle", in dem er zum ersten Mal das Problem mit der gegenseitigen Ausgrenzung stellte und löste. Das Papier ist wahrscheinlich warum Podc existiert; Es hat sicherlich den größten Teil meiner Arbeit inspiriert.
  4. ^ Dolev, Shlomi: Selbststabilisierung. (Cambridge, MA: MIT Press, 2000) ISBN978-0-262-04178-2
  5. ^ Lo Russo, Graziano (1997). "Ein Interview mit A. Stepanov (edizioni Infomedia srl.)". Stlport.org. Abgerufen 21. Dezember 2017. Alexander Stepanov: "... Ich entdeckte auch Bücher von zwei großen Informatikern, aus deren Arbeit ich die wissenschaftliche Grundlage meines Handels gelernt habe: Donald Knuth und Edsger Dijkstra. Knuth lehrte mir die Antworten. Dijkstra hat mir die Fragen beigebracht. Immer wieder komme ich zu ihren Werken für neue Erkenntnisse zurück. "
  6. ^ "Edsger Dijkstra | Niederländischer Informatiker".
  7. ^ IStrail (2008). "Als produktiver Schriftsteller hat er [Dijkstra] mehr als 1.300 Artikel verfasst, viele von Hand in seinem präzisen und eleganten Drehbuch geschrieben. Es waren Essays und Gleichnisse; Märchen und Warnungen; umfassende Erklärung und pädagogische Vorwand. andere waren Ausflugsberichte, die über ihren Autor mehr aufschlussreich sind als über die besuchten Menschen und Orte. Dieser „Dijkstran -Stil“ des Schreibens des Schreibens blühte an der Grenze zwischen technischer Computerwissenschaft und der Philosophie, die seine angesehene Entwicklung untermauerte. Es war seine Gewohnheit, jeden zu kopieren, um jeden zu kopieren Papier und zirkulieren Sie es an eine kleine Gruppe von Kollegen, die die Papiere kopieren und an eine andere begrenzte Gruppe von Wissenschaftlern weiterleiten. Messen Sie durch seine Werke. "
  8. ^ "Edsger Wybe Dijkstra". Digidome Stifting. 3. September 2003. archiviert von das Original am 6. Dezember 2004.
  9. ^ O'Connor, J. J.; Robertson, E. F. (Juli 2008). "Dijkstra -Biographie". Maktutor. Schule für Mathematik und Statistik, Universität St. Andrews, Schottland. Archiviert Aus dem Original am 11. Oktober 2013. Abgerufen 18. Januar 2014.
  10. ^ a b c d e f g h i j k l Faulkner, Larry R.; Durbin, John R. (19. August 2013). "In Memoriam: Edsger Wybe Dijkstra" (PDF). Universität von Texas in Austin. Abgerufen 20. August 2015.
  11. ^ a b Dijkstra, Edsger W. (1972). "Der bescheidene Programmierer". ACM Turing Lecture 1972. EWD340.
  12. ^ James, Mike (1. Mai 2013). "Edsger Dijkstra - Die Poesie der Programmierung". i-programmer.info. Abgerufen 12. August 2015.
  13. ^ a b c d e f g h i j k l Apt (2002)
  14. ^ Silberschatz, Abraham; Peterson, James L. (1988). Betriebssystemkonzepte. p. 512.
  15. ^ Goodwins, Rupert (8. August 2002). "Informatik Pionier Dijkstra stirbt". Abgerufen 22. Dezember 2010.
  16. ^ Moy, John. "OSPF Version 2". Ietf. Abgerufen 24. Juli 2022.
  17. ^ "ISO/IEC 10589: 2002". Internationale Standardisierungsorganisation. Abgerufen 24. Juli 2022.
  18. ^ Dijkstra, E. W. (Juli 1996), Eine erste Erforschung wirksamer Denken [EWD896]. (E. W. Dijkstra Archiv, Zentrum für amerikanische Geschichte, Universität von Texas in Austin)
  19. ^ Shasha, Dennis; Lazere, Cathy: Aus ihren Köpfen: Das Leben und Entdeckungen von 15 großen Informatikern. (New York, NY: Springer, 1998, ISBN978-0-387-98269-4), p. 64
  20. ^ Irfan Hyder, Syed (2013)[Vollständiges Zitat benötigt]
  21. ^ IStrail (2008).
  22. ^ Dijkstra, Edsger. "Denken als Disziplin". Vpro. Noorderlich. Abgerufen 21. Juni 2016.
  23. ^ Dijkstra, Edsger W. Die Bedrohungen für die Computerwissenschaft (EWD-898) (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  24. ^ Dijkstra, Edsger W. Wie erzählen wir Wahrheiten, die weh tun könnten? (EWD-498) (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  25. ^ a b Dijkstra, Edsger W. EWD-475 (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  26. ^ Dijkstra, Edsger W. EWD-539 (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  27. ^ Dijkstra, Edsger W. EWD-427 (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  28. ^ Dijkstra, Edsger W. EWD-443 (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  29. ^ Dijkstra, Edsger W (1982). Ausgewählte Schriften zum Computer: Eine persönliche Perspektive. Berlin: Springer-Verlag. ISBN 978-0-387-90652-2.
  30. ^ Dijkstra, Edsger W. Über die Grausamkeit der wirklich lehrenden Informatik (EWD-1036) (PDF). E. W. Dijkstra Archiv. Zentrum für amerikanische Geschichte, Universität von Texas in Austin. (Transkription)
  31. ^ "Die Manuskripte von Edsger W. Dijkstra". E. W. Dijkstra Archiv. Universität von Texas.
  32. ^ "Weltbekannte Universität von Texas am Austin-Informatiker Edsger Dijkstra stirbt". UT News. 7. August 2002. Abgerufen 4. August 2020.
  33. ^ Dale, Nell; Lewis, John (31. Dezember 2014). Informatik beleuchtet. Jones & Bartlett Publishers. p. 316. ISBN 978-1-284-05592-4.
  34. ^ "Edsger Dijkstra verschwindet". Dr. Dobbs Journal. 27: 14. 2002.
  35. ^ In Memoriam Edsger Wybe Dijkstra (Denkmal), Universität von Texas
  36. ^ "Edsger Wybe Dijkstra (1930–2002)". Royal Netherlands Academy of Arts and Sciences. Abgerufen 17. Juli 2015.
  37. ^ "A. M. Turing Award". Verband für Rechenmaschinen. Abgerufen 5. Februar 2011.
  38. ^ "Edsger W. Dijkstra 1974 Harry H. Goode Memorial Preisträger". IEEE Computer Society. Abgerufen 17. Januar 2014.
  39. ^ "ACM Fellows - D". Verband für Rechenmaschinen. Archiviert von das Original am 24. Januar 2011. Abgerufen 15. Februar 2011.
  40. ^ "Roll der angesehenen Gefährten". Britische Computergesellschaft. Archiviert von das Original am 4. März 2016. Abgerufen 10. September 2014.
  41. ^ Gries, D.; Feijen, W.H.J.; Van Gasteren, A.J.M.; Misra, J., Hrsg. (1990). Schönheit ist unser Geschäft. Monographien in Informatik. New York: Springer Verlag.
  42. ^ "Auszeichnungen". Loyola University Chicago.

Externe Links