@article {14711,
	title = {Mutatis Mutandis: Safe and predictable dynamic software updating},
	journal = {ACM Trans. Program. Lang. Syst.},
	volume = {29},
	year = {2007},
	month = {2007/08//},
	abstract = {This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program{\textquoteright}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 how it can be approximated via a novel static analysis. This analysis can be used to assess the implications of a program{\textquoteright}s structure on future updates in order to make update success more predictable. We have implemented Proteus for C, and briefly discuss our implementation which we have tested on several well-known programs.},
	keywords = {capability, dynamic software updating, proteus, Type inference, updateability analysis},
	isbn = {0164-0925},
	doi = {10.1145/1255450.1255455},
	url = {http://doi.acm.org/10.1145/1255450.1255455},
	author = {Stoyle,Gareth and Hicks, Michael W. and Bierman,Gavin and Sewell,Peter and Neamtiu,Iulian}
}
