James E.Smith Ravi Nair Virtual machine technologies have been developed in a number of contexts -- operating systems, programming languages and compilers, and computer architecture