Project Website http://www.ai.mit.edu/projects/dynlangs/Projects/DVM.htm
A very high level virtual machine capable of hosting both dynamically and statically typed programming languages. The machine will support, and be able to optimize in the face of, extreme dynamism, including changing methods and type relationships at runtime. This will allow direct support of "mutable MOP's" (Metaobject Protocols). This is a virtual machine and front ends from various languages (such as Java, Dylan, Scheme) to the VM.
Novel techniques for efficient implementation in the face of dynamic language features. An infrastructure for experimentation with language design, Aspect-Oriented Programming, and adaptive system implementation.