Граф процедур: различия между версиями

'''Граф процедур''' (''[[Call graph]]'') - [[орграф]], [[вершина|вершины]] которого суть процедуры программы, а [[дуга|дуги]]

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

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

особых вызовов --- таких, при разных исполнениях которых могут вызываться разные процедуры.

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