Mutatis mutandis: safe and predictable dynamic software updating.

Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu

Browse the full POPL paper archive.