Synthesized Translation

The term synthesized translation includes two ideas:

In the statement if x > max then max := x the code for the if statment is constructed by linking together the code that is produced for the subexpressions x > max and max := x.


      >              :=
     /              /
    /              /
   x ---- max     max ---- x


        if           (if (>  x max) (:= max x))
        /
       /
      >  ----------- :=
     /              /
    /              /
   x ---- max     max ---- x

Contents    Page-10    Prev    Next    Page+10    Index