Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu. ::::Mutatis Mutandis::::: Safe and predictable dynamic software updating. ACM Transactions on Programming Languages and Systems, 29(4):22, 2007. [doi]
Abstract is missing.