Safe and Predictable Dynamic Software Updating Gareth Stoyle + Michael Hicks...  Home/Search
Context
Related
| cl.cam.ac.uk/~pes2...datepopl2005.pdf Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: cl.cam.ac.uk/~pes20/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynamic updating has been used for many years. Perhaps surprisingly, there is little highlevel understanding or language support to help programmers write dynamic updates effectively. (Update)
Active bibliography (related documents): More All
0.7: Formalizing Dynamic Software Updating - Bierman, Hicks, Sewell, Stoyle (2003) (Correct)
0.5: Dynamic Software Updating - Hicks, Moore (2001) (Correct)
0.4: Improving Dynamic Update for Operating Systems - Andrew Baumann University (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ safe-mutatis,
author = "Safe And Predictable",
title = "Mutatis Mutandis:",
url = "citeseer.ist.psu.edu/763326.html" }
Citations (may not include all citations):70 Region-based memory management in Cyclone - Grossman, Morrisett et al. - 2002
46 An API for runtime code patching - Buck, Hollingsworth - 2000
41 A type system for expressive security policies - Walker - 2000
30 On dynamically updating a computer program: From concept to .. (context) - Frieder, Segal - 1991
27 Typed memory management via static capabilities - Walker, Crary et al. - 2000
21 Type-based hot swapping of running modules - Duggan - 2001
21 Department of Computer and Information Science (context) - Hicks, Updating - 2001
19 System support for online reconfiguration - Soules, Appavoo et al. - 2003
18 Runtime support for type-safe dynamic Java classes (context) - Malabarba, Pandey et al. - 2000
18 CIL: Intermediate language and tools for analysis and transf.. - Necula, McPeak et al. - 2002
18 Dynamic ML without dynamic types - Gilmore, Kirli et al. - 1997
16 Department of Computer Science (context) - Heintze, Analysis - 1992
14 Indian Institute of Technology (context) - Gupta, Version et al. - 1994
9 Lazy modular upgrades in persistent object stores - Boyapati, Liskov et al. - 2003
6 A technique for dynamic updating of Java software - Orso, Rao et al. - 2002
6 Inheritance as implicit coercion (context) - Breazu-Tannen, Coquand et al. - 1991
5 Mutatis Mutandis: Safe and predictable dynamic software upda.. (context) - Stoyle, Hicks et al.
3 a lightweight mechanism to update code in a running program (context) - almt, Gray et al. - 1998
2 Erlang --- An Experimental Telephony Switching Language (context) - Armstrong, Virding - 1991
1 source level dynamic linking and re-linking (context) - Drossopoulou, Eisenbach - 2003
http://bane.cs.berkeley.edu/banshee
Documents on the same site (http://www.cl.cam.ac.uk/~pes20/): More
Design Rules and Abstractions (from branching and real time) - Sewell (1996) (Correct)
Global/Local Subtyping for a Distributed π-calculus - Sewell (1997) (Correct)
On Implementations and Semantics of a Concurrent Programming.. - Sewell (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC