Abstract
While dynamic linking has become an integral part of the run-time execution of modern 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.
Original language | English |
---|---|
Pages | 62-73 |
Number of pages | 12 |
State | Published - 2001 |
Event | 6th ACM SIGPLAN Internatinal Conference on Functional Programming (ICFP'01) - Florence, Italy Duration: 3 Sep 2001 → 5 Sep 2001 |
Conference
Conference | 6th ACM SIGPLAN Internatinal Conference on Functional Programming (ICFP'01) |
---|---|
Country/Territory | Italy |
City | Florence |
Period | 3/09/01 → 5/09/01 |
Keywords
- Dynamic Typing
- Hot swapping
- Module interconnection languages
- Shared libraries