Assignment Conversion

(als Transformationsschritt im Compiler):

• Eingabe: Programm mit veränderlichen Variablen
• Ausgabe: Programm mit „konstanten Variablen`` und veränderlichen Zellen

Variable ersetzen durch (Verweis auf) Zelle:

(begin (set! x (@* 2 y)) x)) 
==>
(let ((x (cell x)) (y (cell y)))
     (begin (@:= x (@* 2 (@^ y))) (@^ x)))

Bessere Implementierung: nur für die Variablen, die tatsächlich Zuweisungsziel sind (im Bsp: y nicht)