Quote: efficiently compute the static single assignment (SSA) form and control dependency graph using dominance frontiers; result is usually linear in size
Topic: static single assignment; SSA
Topic: code optimization
Quotation Skeleton
We present new algorithms that efficiently compute [the static single assignment (SSA) form and the control dependence graph] for arbitrary control flow graphs. The algorithms use dominance frontiers, … the sum of the sizes of all the … strong evidence that SSA form and control dependencies …
Google-1Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: static single assignment (SSA) is useful for optimization