Title: Formale Beschreibung von maschinen, Implementierungen und optimierender Maschinencodeerzeugung aus attributierten Programmgraphen