Mathematician:Edsger Wybe Dijkstra

From ProofWiki
Jump to navigation Jump to search

Mathematician

Hugely influential Dutch pioneer of computer science.


Nationality

Dutch


History

  • 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.

Definitions of concepts named for Edsger Wybe Dijkstra can be found here.


Publications

  • 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


Sources