Short Evaluation: Direct Code Generation 4/5
56/69
Ei ® not Ej  { Ej.true  := Ei.false;
            Ej.false  := Ei.true }
Ej
not
Ei
Ei .true
Ei .false
Ej .true
Ej .false
Illustration:
Ei ® (Ej) {Ej.true  := Ei.true;
         Ej.false  := Ei. false }
Ei ® idj { generate “if idj.val goto Ei.true”;
          generate “goto Ei.false” }