definition-use pairdefinition-use pair
The association of a definition of a variable with the subsequent use of that variable. Variable uses include computational (e.g. multiplication) or to direct the execution of a path ("predicate" use).
|