Dag of control flow graph
Материал из WikiGrapp
Dag of control flow graph --- каркас уграфа.
A dag of a cf-graph with an initial node
is an acyclic
cf-graph
with the initial node
such that
,
and for any arc
the
graph
has a cycle. That is,
is a maximal acyclic
subflowgraph.