type-based hot swapping of running modules (extended abstract)
While dynamic linking has become an integral part of the run-time execution of modem programming languages, there is increasing recognition of the need for support for hot swapping of running modules, particularly in long-lived server applications. The interesting challenge for such a facility is to allow the new module to change the types exported by the original module, while preserving type safety. This paper describes a type-based approach to hot swapping running modules. The approach is based on a reflective mechanism for dynamically adding type sharing constraints to the type system, realized by programmer-defined version adapters in the run-time.
types hot swapping module abstraction dynamic linking integrability programming language recognition support server applications challenge change type safety paper sharing constraint type system version adapt module interconnection languages shared libraries timing dynamic typing programmer