ANDFArchitecture Neutral Distribution Format, a technology for portable binary code distribution is a concrete VM developed by the OSF. .
It's not based on a low-level virtual stack or register processor, but rather on some kind of abstract syntax tree for a simple low-level algebraic language. This portable intermediate code then gets compiled by an architecture specific program on the host that runs the code.
ANDF is freely available, including an ANDF backend for GCC, and runtimes/converters to efficiently run/convert ANDF objects on/to common platforms.
However, ANDF is not very desirable because it's much too low-level and doesn't support GC.
This page is linked from: TAOS VM