Mutatis mutandis - safe and predictable dynamic software updating.
Mutatis mutandis - safe and predictable dynamic software updating.
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
01 September 2005
Venue : POPL
External Link: https://doi.org/10.1145/1040305.1040321