Spezialisierung in drei Schritten:

1. Beschreibung aller erreichbaren Berechnungszustände bei gegebenen Werten eines Teils der Eingabe

2. Redefinition der Programmkontrolle durch Einarbeitung der Datenzustandsinformation in die Kontrollzustände (polyvariante Spezialisierung)

3. Optimierung des resultierenden Programms mit herkömmlichen Techniken