The meaning of a program change is a change to the program's meaning

08/02/2019

∙

by   Roly Perera, et al.

∙

0

∙

share

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.