Type-based hot swapping of running modules

Research output: Contribution to conferencePaperpeer-review

47 Scopus citations

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 languageEnglish
Pages62-73
Number of pages12
StatePublished - 2001
Event6th ACM SIGPLAN Internatinal Conference on Functional Programming (ICFP'01) - Florence, Italy
Duration: 3 Sep 20015 Sep 2001

Conference

Conference6th ACM SIGPLAN Internatinal Conference on Functional Programming (ICFP'01)
Country/TerritoryItaly
CityFlorence
Period3/09/015/09/01

Keywords

  • Dynamic Typing
  • Hot swapping
  • Module interconnection languages
  • Shared libraries

Fingerprint

Dive into the research topics of 'Type-based hot swapping of running modules'. Together they form a unique fingerprint.

Cite this