Robert W. Floyd Quotes
If there is ever a science of programming language design, it will probably consist largely of matching languages to the design methods they support.
A semantic definition of a particular set of command types, then, is a rule for constructing, for any command of one of these types, a verification condition on the antecedents and consequents.
