Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
backward analysis
Jump to user comments
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