Entfernen von Überflüssigen Zuweisungen

x := 3;

a := z;

x := a;

a := z;

x := a;

Transformation:

• Entferne Zuweisungen an Variablen, deren Wert nicht benutzt wird

Voraussetzung:

• es gibt keine Benutzung

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen