Short Evaluation: Direct Code Generation 3/5
55/69
Ej
and
Mi
Ei
Ei .true
Ei .false
Ej .true := Li
Ej .false
newlab:
e
Li:
Ek
Ek .true
Ek .false
Ei ® Ej and Mi Ek {Mi.lab := GenerateNewLab;
 Ej.true := Mi.lab; Ej.false := Ei.false
 Ek.true := Ei.true; Ek.false := Ei.false }
Illustration: