Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’08
Jeffrey S. Foster
Michael Hicks
Iulian Neamtiu
Cooperative Update: A New Model for Dependable Live Update