Title: Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation
Subjects: Compiling (Electronic computers), Programmtransformation, Codegenerierung