My original postulate, which I have been pursuing as a scientist all my life, is that one uses the criteria of correctness as a means of converging on a decent programming language design one which doesn’t set traps for its users, and ones in which the different components of the program correspond clearly to different components of its specification, so you can reason compositionally about it. [...] The tools, including the compiler, have to be based on some theory of what it means to write a correct program.
It is easier for eight or nine elderly men to feel their way towards unanimity if they are not compelled to conduct their converging maneuvers under the microscopes and telescopes of the press, but are permitted to shuffle about a little in slippers.herbert fisher
Stranded in this mill town railroad yard while the whole world was converging elsewhere, we seemed to be nothing but children playing among heroic men.john knowles
Religions are different roads converging to the same point. What does it matter that we take different road, so long as we reach the same goal. Wherein is the cause for quarreling?