Zur Implementierung von objektorientierten Sprachen, zum Beispiel von Java, können virtuelle Maschinen benutzt werden, zum Beispiel die Java Virtual Machine (JVM). Dabei werden Programme zunächst in virtuellen Maschinencode transformiert, der dann durch eine Implementierung der virtuellen Maschine (einen Intepreter) ausgeführt wird. Dieses ist aus Sicherheitssicht adäquat, lässt aber hinsichtlich der Effizienz Wünsche offen. Ein Ausweg ist die inkrementelle Kompilation (just-in-time-Kompilation) des virtuellen Maschinencodes in den Maschinencode der ausführenden Plattform. Als Alternative werden wir ebenfalls die Implementierung durch Transformation in höhere imperative Sprachen und spezielle Übersetzerbautechniken für objektorientierte Sprachen studieren.