Theseus is an approach to dynamic software update where multiple versions of objects and classes are isolated into distinct contexts, thus enabling updates to be incremental rather than global.