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.

Autorentext

Prof. Helmut Seidl lehrt an der Technischen Universität München, Garching

Inhalt
Die Übersetzung imperativer Programmiersprachen.- Übersetzung funktionaler Programmiersprachen.- Die Übersetzung logischer Programmiersprachen.- Die Übersetzung objektorientierter Programmiersprachen.