  Programming is the activity of modifying a program in order to bring about
specific changes in its behaviour. Yet programming language theory almost
exclusively focuses on the meaning of programs. We motivate a "change-oriented"
viewpoint from which the meaning of a program change is a change to the
program's meaning.
