Virtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert und hufig fr eine spezielle Programmiersprache entworfen. Dieses Buch beschreibt die bersetzung von imperativen, funktionalen, logischen und objektorientierten Programmiersprachen. Fr jedes dieser Sprachparadigmen fhren die Autoren eine virtuelle Maschine ein. Przise, aber verstndlich beschreiben sie die bersetzung einer Quellsprache in die Sprache der virtuellen Maschine.