Dynamic Virtual Machine

The overall goal is to provide a high-level virtual machine as a target for language implementation. The machine should support traditional, static languages such as Java, as well as dynamically-typed languages such as Scheme, Lisp, and Dylan. The machine should support dynamic redefinition and runtime MOP's, yet be able to optimize effectively when these features are not used. The main pieces of the system so far are:

DVM

The dynamic virtual machine.

DVML

A Scheme-like language, with first-class types/predicates and set of primitives, that constitutes the "native" programming language for the DVM.

• To create a very high level virtual machine as a platform on which to implement a range of languages, from Java to CLOS to Aspect-Oriented (sub)languages.
• Implementation techniques to efficiently execute applications written on top of the virtual machine.

Postscript (letter).