Juice

A portable code infrastructure (which counts as its own concrete VM type) which could be said to store a dataflow tree as might be created by a powerful compiler. Source code is available. It's made to work with Oberon, but it's designed to be mostly language-independant, except that the language must have GC, runtime typing capability, and so on.

I'm very impressed; it makes portable code verification and native code generation almost easy.

Update: Juice seems to be a dead project. Some of the following links don't work any more, without replacement(?), and the Oberon page has noted that support has been discontinued. If you find a replacement, update this page please.

Juice home page. (dead?)
Introduction. (dead?)
Research. (dead?)
Michael Franz.
Thomas Kistler (dead?) but there is reliable information here.
Slim Binaries.

[Reviewed by William Tanksley]

This page is linked from: JVM Slim Binaries