backward analysis

theory An analysis to determine properties of the inputs of

a program from properties or context of the outputs. E.g. if

the output of this function is needed then this argument is

needed.

Compare forward analysis.

(1997-11-23)