Dynamic rebinding for marshalling and update, (2009)
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, Keith Wansbrough
via redex-time and destruct-time reduction
Peter Sewell, Mike Hicks, Gareth Stoyle, Keith Wansbrough, Gavin Bierman
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Abstract Toward Practical Dynamic Software Updating (2008)
Iulian Neamtiu, Gareth Stoyle, Manuel Oriol, Michael Hicks
Software systems are imperfect, so software updates are a fact of life. While typical software updates require stopping and restarting the program in question, many systems cannot afford to halt...
Mutatis Mutandis: safe and predictable dynamic software updating (2007)
Bierman, Gavin, Neamtiu, Iulian, Hicks, Michael, Sewell, Peter, Stoyle, Gareth
http://portal.acm.org/ft_gateway.cfm?id=1255455&type=pdf&coll=portal&dl=ACM&CFID=381409&CFTOKEN=93597745This article presents Proteus, a core calculus that models dynamic software updating, a service...
Practical Dynamic Software Updating for C (2006)
Neamtiu, Iulian, Hicks, Michael, Stoyle, Gareth, Oriol, Manuel
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this...
Practical Dynamic Software Updating for C (2006)
Neamtiu, Iulian, Hicks, Michael, Stoyle, Gareth, Oriol, Manuel
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this...
Practical dynamic software updating for c (2006)
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this...
Practical dynamic software updating for c (2006)
Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) addresses this...
Mutatis Mutandis: Safe and predictable dynamic software updating (2005)
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program’s type structure...
Mutatis Mutandis: Safe and predictable dynamic software updating (2005)
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell
This paper presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program’s type structure to...
Safe And Predictable, Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu
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...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2004)
Gavin Bierman, Gavin Bierman, Michael Hicks, Michael Hicks, Peter Sewell, Peter Sewell, ...
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic rebinding for marshalling and update, with destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Formalizing Dynamic Software Updating (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic Rebinding for Marshalling and Update, (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Marshalling and Update, with Destruct-time λ (2003)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises, for example...
Dynamic Rebinding for Distributed Programming (2002)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various guises. Typically...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...
Dynamic software updating (2001)
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle
Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution. A number of DSU systems have been designed, but there is still...