> Here is Dijkstra:
> And here is Hoare...
> | Ada has a plethora of features and notational conventions, many of them
> | unnecessary and some of them, like exception handling, even
> | dangerous. Do not allow this language in its present state to be
> | used in applications where reliability is critical.
Would be interesting to get their collective take on C++...
Are there any good parts? It appears the book was cancelled (note the