Mutatis Mutandis: Safe and Predictable Dynamic Software Updating

This paper presents Proteus, a core calculus that models dynamic software updating, a service for xing bugs and adding features to a running program. Proteus permits a program s type structure to change dynamically but guarantees the updated program remains type-correct by ensuring a property we call con-freeness. We show how con-freeness can be enforced dynamically, and..