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)
Nearby terms:
backup software « Backus-Naur Form « Backus Normal Form «
backward analysis » backward chaining » backward
combatability » backward compatibility
