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 programs meaning.
Download