The meaning of a program change is a change to the program’s meaning
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.
This program is tentative and subject to change.
Mon 21 Oct
|16:00 - 16:30|
|16:30 - 17:00|
Roly PereraThe Alan Turing InstitutePre-print