Mathematician:Edsger Wybe Dijkstra

From ProofWiki
Jump to navigation Jump to search


Hugely influential Dutch pioneer of computer science.




  • Born: 1 May 1930 in Rotterdam, The Netherlands
  • Died: 6 August 2002 in Nuenen, The Netherlands

Theorems and Definitions

Results named for Edsger Wybe Dijkstra can be found here.


  • March 1968: Go to statement considered harmful (Letters to the editor: Communications of the ACM)
  • Aug 1972: The Humble Programmer (Communications of the ACM)
  • 1972: Structured Programming (with O.-J. Dahl and C.A.R. Hoare)
  • 1975: Guarded commands, nondeterminacy and formal derivation of programs (Commun. ACM Vol. 18: pp. 453 – 457)
  • 1976: A Discipline of Programming
  • May 1982: How do we tell truths that might hurt? (SIGPLAN Notice)
  • 1982: Selected Writings on Computing: A Personal Perspective
  • 1988 A Method of Programming (with W.H.J. Feijen and J. Sterringa)
  • 1988: The Cruelty of Really Teaching Computer Science