Contextual effects for version-consistent dynamic software updating and safe concurrent programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis · 2008
This paper presents a generalization of standard effect systems that we call contextual effects. A traditional effect system computes the effect of an expression e. Our system additionally computes the effects of the computational context in which e occurs. More specifically, we computethe effect of the computation that has already occurred(the prior effect) and the effect of the computation yet to take place (the future effect).