It should be a Spec that supports some generic operations and a spec for a standard library (interaction with dom etc.). Maybe bytecode is too low level, how ab

It should be a Spec that supports some generic operations and a spec for a standard library (interaction with dom etc.). Maybe bytecode is too low level, how about some kind of stackless 3-address intermediate representation like Soot uses for JVM bytecode (jimple has afair ~15 operations, see http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.58.7708&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.58....). This would lead to a language one can wonderfully compile to. asm.js is probably already this idea in practice.