Theseus

Theseus -- An approach to dynamic software update where updates are not global, but local to a context. Contexts are first-class entities that maintain the consistency of the state between the multiple representations of an object.