publication . Contribution for newspaper or weekly magazine . 1998

An abstract machine for module replacement

Walton, Chris; Krl, Dilsun; Gilmore, Stephen;
Open Access English
  • Published: 01 Jun 1998
  • Country: United Kingdom
Abstract
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.
Related Organizations
Download from
Edinburgh Research Explorer
Contribution for newspaper or weekly magazine . 1998
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue