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.

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

I made some jokes about weed, got some laughs, made some more jokes, got some more laughs; next thing you know, I'm telling a lot of jokes about it.

I wouldn't dream of following a fashion... how could one be a different person every three months?

Improving the quality of life for people of this country is perhaps the most important duty of Government

Ornaments were invented by modesty.

I've never heard of a situation where, because somebody had a particular political belief, they didn't get a part. I think it's a bit of a myth.

If you didn't have someone to hate, you wouldn't know what to do with yourself, would you?

I believe celebrity spoils people - some worse than others.

The buck stops with me, but I can tick off dozens of very good senior executives that are responsible for hundreds or thousands of people who work for me.

[People in 1600s] didn't have many books. They would have been staggered by the personal libraries we have today, because books back then were incredibly expensive.

In politics, throwing the taxpayers' money at disasters is supposed to show your compassion. But robbing Peter to pay Paul is not compassion. It is politics.