Synthesized Translation

The term synthesized translation includes two ideas:

• A complex expression is constructed from subexpressions.

  if expression then statement

• The translation of a complex expression is constructed in a mechanical way from the translations of its subexpressions.

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.

      >             :=
     /              / operands
    /              /
   x ---- max     max ---- x
                      link

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