An abstract machine for module replacement

Contribution for newspaper or weekly magazine English OPEN
Walton, Chris; Krl, Dilsun; Gilmore, Stephen;

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 ... View more
Share - Bookmark