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.