< 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)
< 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)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012