An imperative and object-oriented language with an optimizing compiler, virtual machine, and integrated development tooling.
It provides a suit of SSA-based optimizations.
A lightweight virtual machine with debugging support.
Full language support, with dozens of inspection tools.