Definition-Use Pair

The association of variables' definitions and their usage. Variables are used, in particular, for the calculation (for example, multiplication), or the path of execution (as a predicate).