Beispiele

Einige Sprachen mit ihren virtuellen Maschinen, die nach derzeitiger Planung hier gestreift oder behandelt werden sollen, ohne jeden Anspruch auf Vollständigkeit.

Prozedurale Sprachen

Pascal: P-Code

Objekt-orientierte Sprachen

Smalltalk: Smalltalk Virtual Machine

Java: JVM

Funktionale Sprachen

Lisp: SECD-Maschine

ML: Caml Light

Logische Sprachen

Prolog: WAM, VAM

Funktional-logische Sprachen

Relfun: GWAM, RAWAM