backward analysis

from The Free On-line Dictionary of Computing (8 July 2008)

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)