Data dependence graph

Data dependence graph — граф зависимости по данным.

By the data dependence graph of the program we mean a digraph, where the vertices correspond to the (assignment) statements in the program, and there is an arc from a vertex [math]\displaystyle{ \,S }[/math] to a vertex [math]\displaystyle{ \,T }[/math] iff [math]\displaystyle{ \,T }[/math] depends on [math]\displaystyle{ \,S }[/math]; i.e. [math]\displaystyle{ \,S \delta T }[/math], [math]\displaystyle{ \,S \bar{\delta} T }[/math] or [math]\displaystyle{ S \delta^{o} T }[/math]. Each arc may be labeled with information about the type of dependence and other information.

Литература

• Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.