-
Dynamic Rebinding for Marshalling and Update, via Redex-time
and Destruct-time Reduction.
Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, and Keith
Wansbrough.
Journal of Functional Programming, 18(4):437--502, 2008.
[ bib |
doi |
pdf |
abstract ]
-
Mutatis Mutandis: Safe and predictable dynamic software
updating.
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian
Neamtiu.
ACM Transactions on Programming Languages and Systems (TOPLAS),
29(4):70pp, August 2007.
[ bib |
doi |
pdf |
abstract ]
-
Mutatis Mutandis: Safe and Predictable Dynamic
Software Updating.
Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian
Neamtiu.
In POPL 2005.
[ bib |
doi |
pdf |
http |
abstract ]
-
Dynamic Rebinding for Marshalling and Update, with
Destruct-time λ.
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith
Wansbrough.
Technical Report UCAM-CL-TR-568, University of Cambridge Computer
Laboratory, February 2004.
85pp.
[ bib |
ps |
pdf |
.html |
abstract ]
-
Dynamic Rebinding for Marshalling and Update, with
Destruct-time lambda.
Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, and Keith
Wansbrough.
In ICFP 2003.
[ bib |
doi |
ps |
pdf |
http |
abstract ]
-
Formalizing Dynamic Software Updating.
Gavin Bierman, Michael Hicks, Peter Sewell, and Gareth Stoyle.
In USE 2003, 17pp.
[ bib |
ps |
pdf |
abstract ]