Edsger Dijkstra

The only way to make a program correct is to prove it correct.

The only way to make a program trustworthy is to make it transparent.

The only way to make a program beautiful is to make it elegant.

The only way to make a program useful is to make it solve a real problem.

The only way to make a program valuable is to make it correct.

The only way to make a program successful is to make it correct.

The only way to make a program perfect is to make it correct.

The only way to make a program good is to make it correct.

The only way to make a program great is to make it correct.

The only way to make a program immortal is to make it correct.

Computer science is no more about computers than astronomy is about telescopes.

The question of whether a computer can think is no more interesting than the question of whether an automobile can breathe.

Testing shows the presence, not the absence of bugs.

If debugging is the process of removing software bugs, then programming must be the process of putting them in.

Elegance is not a dispensable luxury but a factor that decides between success and failure.

The computing scientist’s main challenge is not to get confused by the complexities of his own making.

Why is the use of a formal language such a big deal? Because it separates the realms of discourse.

The art of programming is the art of organizing complexity.

In computer science, we stand on each other's feet.

A problem well stated is a problem half solved.