If the advancement of the general art of programming requires the continuing invention and elaboration of paradigms, advancement of the art of the in… - Robert W. Floyd

It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability, [...] This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.

If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support.

If I ask another professor what he teaches in the introductory programming course, whether he answers proudly "Pascal" or diffidently "FORTRAN," I know that he is teaching a grammar, a set of semantic rules, and some finished algorithms, leaving the students to discover, on their own, some process of design.