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.
Last updated: 1997-11-23
Backus Normal Form ♦ backward analysis ♦ backward chaining ♦ backward combatability
Try this search on Wikipedia, Wiktionary, Google, OneLook.