Stephen Gilmore, Dilsun Kírlí, Christopher Walton  Home/Search
Context Related
| dcs.ed.ac.uk/~stg/./dynamic.ps.gz dcs.ed.ac.uk/home/stg/....dynamic.ps.gz dcs.ed.ac.uk/~stg/./Dyn...dynamic.ps.gz 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: dcs.ed.ac.uk/~stg/ (more) From: dcs.ed.ac.uk/home/stg/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a variant of the Standard ML programming language which incorporates a facility for the replacement of modular components during program execution. This useful extension of the language builds upon existing compiler technology which permits the separate compilation of modular units of a Standard ML program. Defined naively, this extension would incur performance overheads due to the need to retain typing information at run-time. Here we explain how this cost can be significantly... (Update)
Cited by: More
Mutatis Mutandis: - Safe And Predictable (Correct)
Automatic Software Upgrades for Distributed Systems - Ajmani (2004) (Correct)
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
Active bibliography (related documents): More All
0.8: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: Focusing on Mobility - Bergner, Grosu, Rausch, Schmidt.. (1999) (Correct)
0.3: Functions, Concurrency, Distribution and Mobility - Kirli (Correct)
Similar documents based on text: More All
0.1: Using Distributed Protocols as an Implementation of.. - McGinnis, Robertson.. (Correct)
0.1: Review of SLIE Framework and Experiments - Walton, Biris-Brilhante, Phelps, .. (2003) (Correct)
0.0: Failure Management for FT-CORBA Applications - Baldoni, Marchetti.. (2001) (Correct)
Related documents from co-citation: More All
9: Type-Based Hot Swapping of Running Modules - Duggan
9: Dynamic software updating - Hicks, Moore et al. - 2001
9: On dynamically updating a computer program: from concept to prototype (context) - Frieder, Segal - 1991
BibTeX entry: (Update)
Stephen Gilmore, Dilsun Kirli, and Chris Walton. Dynamic ML without Dynamic Types. Technical Report ECS-LFCS-97-378, Laboratory for the Foundations of Computer Science, The University of Edinburgh, December 1997. http://citeseer.ist.psu.edu/gilmore97dynamic.html More
@misc{ gilmore97dynamic,
author = "S. Gilmore and D. Kirli and C. Walton",
title = "Dynamic ML without Dynamic Types",
text = "Stephen Gilmore, Dilsun Kirli, and Chris Walton. Dynamic ML without Dynamic
Types. Technical Report ECS-LFCS-97-378, Laboratory for the Foundations
of Computer Science, The University of Edinburgh, December 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/gilmore97dynamic.html" }
Citations (may not include all citations):188 Region-based memory management - Tofte, Talpin - 1997
159 CML: A higher-order concurrent language (context) - Reppy - 1991
137 Journal of Functional Programming (context) - Leroy, Mauny et al. - 1993
65 Lisp and Symbolic Computation (context) - Appel, aren't - 1989
50 Semantics of Memory Management for Polymorphic Languages - Morrisett, Harper - 1996
44 The Definition of Standard ML: Revised (context) - Milner, Tofte et al. - 1997
21 A distributed concurrent implementation of Standard ML (context) - Matthews - 1991
7 LEMMA: A Distributed Shared Memory with Global and Local Gar.. - Matthews, Le Sergent - 1995
5 Programming with behaviours in an ML framework: the syntax a.. (context) - Berthomieu, Le Sergent - 1994
3 Distributed ML: Abstractions for Efficient and FaultTolerant.. (context) - Krumvieda - 1993
2 A Type-Based Implementation of a Language with Distributed S.. (context) - Duggan - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.ed.ac.uk/~stg/): More
Elementary structural analysis for PEPA - Gilmore, Hillston, Recalde (1997) (Correct)
Programming in Standard ML '97: A Tutorial Introduction - Gilmore (1997) (Correct)
From SPA models to programs - Gilmore, Hillston, Holton (1996) (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