Un bytecode, utilisé par une toolchain assez ancienne mais toujours vivante, qui fonctionne un peu de la meme maniere que LLVM, et EM qui est bytecode intermediaire, est executable par une VM:

http://tack.sourceforge.net/olddocs/em.pdf

Certain point du Amsterdam Compiler Kit peuvent faire un peu vieillot (il a été désigné en 1984) mais compte tenu de quand ce projet a commencé, il est très intéressant a étudier et propose pas mal de choses novatrice pour l'epoque