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.
|Title of host publication||Proceedings of the 1st Workshop on Principles of Abstract Machines|
|Number of pages||15|
|Publication status||Published - Jun 1998|