From Java to UpgradeJ
Ewan D. Tempero, Gavin M. Bierman, James Noble, Matthew Parkinson · 2008
UpgradeJ is a variant of Java that offers linguistic support for lightweight dynamic software updating (DSU), or hotswapping. UpgradeJ allows co-existing multiple versions of classes and adapts Java's type system to provide incremental typechecking.