Par definición-uso

definition-use pair

Asociación entre la definición de una variable y el uso de esa variable. Los usos de las variables incluyen operaciones (por ejemplo multiplicación) o dirigir la practica (ejecución/recorrido) de un camino (uso de “predicado”).