Граф процедур

Граф процедур (Call graph) — орграф, вершины которого суть процедуры программы, а дуги отражают возможность прямого обращения одной процедуры к другой. В графе процедур предполагается, что все исполнения операторов вызова, обращающихся к одной и той же процедуре, приводят к одним и тем же цепочкам вложенных вызовов процедур.

Для более точного кодирования межпроцедурных связей используется граф вызовов, вершинами которого являются операторы вызовов процедур, а дуги отражают непосредственную вложенность вызовов. В этом графе склеены, однако, выполнения так называемых особых вызовов — таких, при разных исполнениях которых могут вызываться разные процедуры.

Выполнения особых вызовов расклеиваются в графе зацепленности, вершинами которого являются пары оператор вызова — вызываемая процедура, а дуги отражают непосредственную вложенность соответствующих пар.

Литература

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.