Dominic Duggan  Home/Search
Context Related
| stevenstech.edu/~dd...hotswaplong.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stevenstech.edu/~dduggan...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. An 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... (Update)
Cited by: More
Mutatis Mutandis: - Safe And Predictable (Correct)
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (Correct)
A Framework for Evolutionary, Dynamically Updatable.. - Bialek, Jul (2004) (Correct)
Active bibliography (related documents): More All
2.1: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
1.2: Sharing in Typed Module Assembly Language - Duggan (2000) (Correct)
1.0: Abstractions for Component-Based Programming with Dynamic.. - Dominic Duggan Dept (2001) (Correct)
Similar documents based on text: More All
0.3: Enabling Autonomic Behavior in Systems Software With Hot Swapping - Appavoo, al. (2003) (Correct)
0.3: Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003) (Correct)
0.2: Type-Safe Linking with Recursive DLLs and Shared Libraries - Duggan (2001) (Correct)
Related documents from co-citation: More All
16: Dynamic software updating - Hicks, Moore et al. - 2001
9: Dynamic ML without Dynamic Types - Gilmore, Kirli et al. - 1997
7: Providing persistent objects in distributed systems - Liskov, Castro et al. - 1999
BibTeX entry: (Update)
D. Duggan. "Type-Based Hot Swapping of Running Modules" http://citeseer.ist.psu.edu/duggan01typebased.html More
@inproceedings{ duggan01typebased,
author = "Dominic Duggan",
title = "Type-Based Hot Swapping of Running Modules",
booktitle = "International Conference on Functional Programming",
pages = "62-73",
year = "2001",
url = "citeseer.ist.psu.edu/duggan01typebased.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991
261 Dynamic typing in polymorphic languages - Abadi, Cardeli et al. - 1992
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
207 CORBA Fundamentals and Programming (context) - Siegel, Frantz et al. - 1996
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
186 Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
178 Making the future safe for the past: Adding genericity to th.. - Bracha, Odersky et al. - 1998
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1994
174 Distributed programming in Argus (context) - Liskov - 1988
162 Unboxed objects and polymorphic typing - Leroy - 1992
137 Journal of Functional Programming (context) - Leroy, Mauny et al. - 1993
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
94 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
81 A proposal for making eiffel type-safe - Cook - 1989
75 A paradigmatic object-oriented programming language: Design - Bruce - 1994
75 Applicative functors and fully transparent higher-order modu.. - Leroy - 1995
67 Mixin modules - Duggan, Sourelis - 1996
66 Views: a way for pattern matching to cohabit with data abstr.. - Wadler
62 Type-safe linking and modular assembly languages - Glew, Morrisett - 1999
53 Compatible genericity with run-time types for the Java progr.. - Cartwright, Steele - 1998
50 Flexible representation analysis - Shao - 1997
45 Dynamic software updating - Hicks, Moore et al. - 2001
40 Dynamic class loading in the Java virtual machine (context) - Liang, Bracha - 1998
37 Compiling With Types (context) - Morrisett - 1995
27 Fast concurrent dynamic linking for an adaptive operating sy.. - Cowan, Autrey et al. - 1996
27 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
25 DCOM technical overview (context) - Corporation - 1996
23 Dynamic typing as staged type inference - Shields, Sheard et al. - 1998
22 Transparent modules with fully syntactic signatures - Shao - 1999
22 Dynamic linking of software components (context) - Franz - 1997
20 Representing java classes in a typed intermediate language - League, Shao et al. - 1999
19 Type dispatch for named hierarchical types - Glew - 1999
18 Dynamic Module Replacement in a Distributed Programming Syst.. - Bloom - 1983
18 Dynamic ML without dynamic types - Gilmore, Kirli et al. - 1997
16 Sharing in typed module assembly language - Duggan - 2000
15 classes: A lightweight mechanism to update code in a running.. (context) - Hjalmtysson, Gray - 1998
15 Inheritance as implicit coercion - Breazu-Tannen, Coquand et al. - 1991
14 Reconfiguration and module replacement in Argus: Theory and .. (context) - Bloom, Day - 1993
10 contracts and absorbing change: An approach to software evol.. (context) - Evans, Dickman - 1999
10 linking and modularization (context) - Cardelli - 1997
10 A calculus for dynamic loading - Hicks, Weirich - 2000
9 Dynamic typing for distributed programming in polymorphic la.. - Duggan - 1999
7 International standard ISOIEC (context) - Manual, Mass et al. - 1995
6 Safe and flexible dynamic linking of native code - Crary, Hicks et al. - 2000
6 Runtime support for type-safe dynamic java classes (context) - Malabarba, Pandey et al. - 2000
5 The Revised Definition of Standard ML (context) - Milner, Tofte et al. - 1997
5 Decidable type equivalence with singleton kinds (context) - Stone, Harper - 2000
3 Supporting reconfigurable security policies for mobile Java .. - Hashii, Malabarba et al. - 2000
3 Type-safe dynamic linking with recursive DLLs and shared lib.. (context) - Duggan - 2000
2 abstract types and distributed versioning (context) - Sewell - 2001
2 ACM Transactions on Programming Languages and Systems (context) - Cardelli, Abadi et al. - 1996
1 Type-safe on-the-wire marshalling (context) - Duggan - 1998
1 JavaBeans API Specification v (context) - Hamilton - 1997
1 Commentary on the Standard ML Definition (context) - Milner, Tofte - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://guinness.cs.stevens-tech.edu/~dduggan/Public/Papers/index.html): More
Type-Safe Linking with Recursive DLLs and Shared Libraries - Duggan (2001) (Correct)
Cryptographic Types - Duggan (2002) (Correct)
Abstractions for Fault-Tolerant Global Computing - Chothia, Duggan (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC