| (theory) | backward analysis - 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. |
About this site and copyright information - Online Dictionary Home