Qualitativ hochwertige Codegeneratoren sind schwierig herzustellen und
deshalb teuer. Schon seit mehr als 15 Jahren beschäftigt sich deshalb
die Compilerforschung mit der Automatisierung ihrer Herstellung. Der Schlüssel
zur Lösung des Problems ist die formale Beschreibung der Prozessorarchitekturen,
für die der Compiler Codes erzeugen soll.