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

08/02/2019
by   Roly Perera, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset