Review of Virtual Machines


This page is under constant construction.
Please help me enrich it, by sending annotations to existing pointers, new pointers, and the usual feedback.

Please tell me about any other interesting pointer you know, that may relate somehow (anyhow) to the Tunes project...

WARNING: I've just begun this page, so it's rather empty, currently.


Contents

This index favors original and research virtual machines and calculi, and free implementations. In each category, machines are listed in alphabetical order.


Abstract Virtual Machines

Theoretical VMs

All machines and calculi presented are universal, i.e. Turing-equivalent.


Concrete Virtual Machines

These are Virtual Machines with concrete implementation and precise byte-level encoding, that you can readily use to transmit code.

Free VMs

Proprietary VMs

These you shouldn't use, least you'll become the hostage of the vendors who lock you and whoever else you will communicate with you into their technology.

However attractive a proprietary technology may appear, it shouldn't be used as a means of communication.

Happily, no one owns the english language.

Of course, it is good to know what proprietary VMs exist or have existed, to be aware of their advantages and shortcomings, which is why they are listed here.


More netsurfing


To Do on this page


Back to the Review subproject.


Page Maintainer:
Faré -- rideau@clipper.ens.fr