Code generation for expressions where temporary variable labels must be propagated upwards.

Translation of declarations where scope information must be passed from parent to children.

Type checking in a compiler where type of an expression is determined only from child attributes.

Constant folding where constant values are computed from leaf nodes upwards.