Lecture Edsger Dijkstra at CWI

Lecture Edsger Dijkstra On Tuesday, October 10, 2000, the famous Edsger Dijkstra will give a lecture at CWI, entitled: 'On avoiding avoidable case analyses'. Prof.dr. Dijkstra is Professor Emeritus of the University of Texas at Austin. In the list of most cited Dutch computer scientists on the Web, Dijkstra holds the second place.Abstract  On avoiding avoidable case analyses

Date: Oct 05, 2000

Lecture Edsger Dijkstra
On Tuesday, October 10, 2000, the famous Edsger Dijkstra will give a lecture at CWI, entitled: 'On avoiding avoidable case analyses'. Prof.dr. Dijkstra is Professor Emeritus of the University of Texas at Austin. In the list of most cited Dutch computer scientists on the Web, Dijkstra holds the second place.

Abstract 

On avoiding avoidable case analyses

Since brevity is an essential virtue of proofs and programs (and will always be so) and case analyses tend to lengthen them, avoiding case analysis is (and will remain) a central issue in mathematical methodology and the methodology of programming. With a series of small examples we’ll illustrate various techniques for case analysis reduction. They should make us understand why counting arguments can be so effective and why they are applicable.