Здравствуйте, voidlizard, Вы писали:

V>0) Есть ли какие-то языки, которые можно успешно компилировать в байткоды для форт-машины ( двухстековая машина, произвольного доступа к
V>элементам стека — нет, доступ к памяти есть, но дороговато обходится) ?
Scheme?

V>1) Есть ли какие-то хорошо специфицированные, несложные (в принципе любая несложная, если в ней не более сотни инструкций) виртуальные машины,
V>с компактными опкодами? Желательно, что бы были готовые компиляторы, которые генерировали для них код. LUA5, Python — некомпактны, Java — хороша,
V>но писать компилятор и VM сложно (много инструкций, разрядность и тп) ?
JVM можно не всю реализовывать. Посмотри на http://en.wikipedia.org/wiki/Java_Card — оно очень близко.