Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

Author Title [ Type

] Year

Filters: Keyword is updateability analysis [Clear All Filters]

Conference Papers

Stoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I. 2005. Mutatis mutandis: safe and predictable dynamic software updating. Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :183-194.

Journal Articles

Stoyle G, Hicks MW, Bierman G, Sewell P, Neamtiu I. 2007. Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst.. 29(4)