An abstract machine model of dynamic module replacement

Chris Walton, Dilsun Kırlı, Stephen Gilmore

Research output: Contribution to journalArticlepeer-review


In this paper we define an abstract machine model for the mλ typed intermediate language. This abstract machine is used to give a formal description of the operation of run-time module replacement for the programming language Dynamic ML. The essential technical device which we employ for module replacement is a modification of two-space copying garbage collection. We show how the operation of module replacement could be applied to other garbage-collected languages such as Java.
Original languageEnglish
Pages (from-to)793-808
Number of pages16
JournalFuture Generation Computer Systems
Issue number7
Publication statusPublished - 2000


  • Java

Fingerprint Dive into the research topics of 'An abstract machine model of dynamic module replacement'. Together they form a unique fingerprint.

Cite this