Я бы предложил язык с плотным набором команд виртуальной машины. В другом ответе предлагается Forth, который, безусловно, является виртуальной машиной, но, как мне кажется, не проходит этот тест из-за использования указателей (неплотных полных слов) для выбора подпрограмм выполнения.
Скомпилированная версия Google Java, Dalvik , должна быть разработана с целью минимизировать использование памяти, в то же время будучи довольно быстрой для интерпретации. Будучи открытым исходным кодом, очевидно, вы можете получить его и использовать в своих целях. Скорее всего, вы можете согнуть его, чтобы избежать использования сборки мусора для управления размером хранилища данных.
Существует также Cint , интерпретатор C с небольшой виртуальной машиной. Вероятно, не так быстро, как Dalvik, который использует смоделированные регистры, а не стек.