An abstract machine for module replacement

Chris Walton, Dilsun Krl, Stephen Gilmore

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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 from the programming language Dynamic ML. The essential technical device which we employ for module replacement is a modification of two-space copying garbage collection.
Original languageEnglish
Title of host publicationProceedings of the 1st Workshop on Principles of Abstract Machines
Number of pages15
Publication statusPublished - Jun 1998

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

Cite this