backward analysiscomputing dictionary

<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.

(01 Mar 1997)