Programming Type-Safe Program Updates
Abstract elided by the publisher.
Related papers
- Mutatis mutandis: safe and predictable dynamic software updating POPL 2005
- Mutatis Mutandis: Safe and predictable dynamic software updating TOPLAS 2007
- A type system with usage aspects JFP 2008
- Model-View-Update-Communicate: Session Types Meet the Elm Architecture ECOOP 2020
- A Type Based Sharing Analysis for Update Avoidance and Optimisation ICFP 1998
- Safe component updates GPCE 2006
- RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly PLDI 2024
- Safe and timely updates to multi-threaded programs PLDI 2009