An abstract machine model of dynamic module replacement

Article English RESTRICTED
Walton, Chris; Kırlı, 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 for the programming language Dynamic ML. The essential technical device w... View more
Share - Bookmark