See this document in CiteSeerX!

Mutatis Mutandis:  (Make Corrections)  
Safe and Predictable Dynamic Software Updating Gareth Stoyle + Michael Hicks...



  Home/Search   Context   Related

 
View or download:
cl.cam.ac.uk/~pes2...datepopl2005.pdf
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  cl.cam.ac.uk/~pes20/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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