Mutatis Mutandis : Safe and predictable dynamic software updating

doi:10.1145/1255450.1255455

Mutatis Mutandis: Safe and predictable dynamic software updating

Full Text:

Pdf

Buy this Article

Authors:	Gareth Stoyle	University of Cambridge
	Michael Hicks	University of Maryland, College Park, MD
	Gavin Bierman	Microsoft Research
	Peter Sewell	University of Cambridge
	Iulian Neamtiu	University of Maryland, College Park, MD

	2007 Article
Bibliometrics
· Downloads (6 Weeks): 2 · Downloads (12 Months): 56 · Downloads (cumulative): 638 · Citation Count: 19

Published in:

	· Journal
	ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive
	Volume 29 Issue 4, August 2007 Article No. 22 ACM New York, NY, USA table of contents doi>10.1145/1255450.1255455

Tools and Resources

Buy this Article
Request Permissions
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Share:

|

Tags: capability design dynamic software updating languages proteus reliability semantics syntax theory type inference updateability analysis validation verification

Feedback | Switch to single page view (no tabs)

**Javascript is not enabled and is required for the "tabbed view" or switch to the single page view**

Powered by

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2013 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player

The ACM Guide to Computing Literature

All Tags

Export Formats

Save to Binder