|
The Dynamic ML language is an extension of Standard ML
which introduces into the language a facility to dynamically replace
program code at run-time, without interrupting the execution of a
computation. This extension makes an ML-like language suitable as a
candidate for programming long-lived computations or reliable
distributed systems. The language is described by an abstract machine
model which complements the natural semantics Definition of
Standard ML. An implementation of the language is being
considered but is not yet underway.
People
The following people are working on Dynamic ML at Edinburgh:
Publications
- [1]
- S. Gilmore, D. Kirli, and C. Walton.
Dynamic ML without dynamic types.
Technical Report ECS-LFCS-97-378, Laboratory for Foundations of Computer
Science, Department of Computer Science, The University of Edinburgh, 1997.
(Gzipped PostScript, 16 pages, 73802 bytes)
- [2]
- C. Walton, D. Kirli, and S. Gilmore.
An abstract machine model of dynamic module replacement.
Future Generation Computer Systems, 1999.
To appear in a special issue devoted to the proceedings of the Workshop on
Principles of Abstract Machines held in Pisa, Italy, June 1998.
(Gzipped PostScript, 25 pages, 121325 bytes)
- [3]
- D. Kirli.
A static type system for detecting potentially transmissible functions.
In P. Sewell and J. Vitek, editors, Proceedings of the 5th Mobile Object
Systems Workshop: Programming Languages for Wide Area Networks,
Lisbon, Portugal, June 1999.
(Gzipped PostScript, 17 pages, 98350 bytes)
- [4]
- C. Walton.
Abstract machines for memory management.
Technical Report ECS-LFCS-99-410, Laboratory for Foundations of Computer
Science, Department of Computer Science, The University of Edinburgh, June
1999.
(Gzipped PostScript, 41 pages, 173873 bytes)
Stephen Gilmore
·
stg@dcs.ed.ac.uk
·
+44 31 650 5189
|
