Mutatis mutandis: Safe and predictable dynamic software updating (2007)

by G Stoyle, M Hicks, G Bierman, P Sewell, I Neamtiu
Venue:ACM Transactions on Programming Languages and Systems