Dynamische Analyse der Semantik

Optimierungsziele 
Datenstrukturen für Analyse und Optimierung 
Basic Block 
Klassifikation von Analysen 
Available Expressions 
Reaching Definitions 
Very Busy Expressions 
Live Variables 
Konstantenpropagation 
3-Adress-Code 
Static Single Assignment Form (SSA) 
Umformung von Baum in DAG 
Umformung von DAG in 3AC 
Repräsentation eines Basic Blocks 
Algebraische Identitäten