Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly all its successors.

I don't know what the language of the year 2000 will look like, but I know it will be called Fortran.

Here is a language so far ahead of its time, that it was not only an improvement on its predecessors, but also on nearly all its successors.

The real value of tests is not that they detect bugs in the code but that they detect inadequacies in the methods, concentration, and skills of those who design and produce the code.

The job of formal methods is to elucidate the assumptions upon which formal correctness depends.

Some problems are better evaded than solved.

The price of reliability is the pursuit of the utmost simplicity. It is a price which the very rich may find hard to pay.