Has research been done on what an interpreted or compiled virtual machine language and model "should" look like? For whatever weighted factors of efficient implementation, suitable target for compilation from multiple paradigms of languages, etc.
Candidate examples with comments to follow: