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.