Reinhard Wilhelm and Helmut Seidl. Übersetzerbau: Virtuelle Maschinen. Springer, 2007.

Virtuelle Maschinen sind Abstraktionen von realen Rechnern. Meist sind sie in Software realisiert. Häufig sind sie für eine spezielle Programmiersprache entworfen. Dieses Buch beschreibt die Übersetzung von imperativen, funktionalen, logischen und objekt-orientierten Programmiersprachen. Für jedes dieser Sprachparadigmen wird eine virtuelle Maschine eingeführt und die Übersetzung einer Quellsprache in die Sprache der virtuellen Maschine präzise aber verständlich beschrieben.

Reference: Bibtex