SIAM Journal on Computing · 1999 · 146 citations · 19 references
Mathematical ProgrammingDirected GraphComputational Complexity TheoryFlow ControlEngineeringComputational ComplexityFormal VerificationLinear-time AlgorithmSystems EngineeringDiscrete MathematicsData FlowLinear TimeFlow Control (Data)Computer ScienceInformation FlowProgram AnalysisAlgorithmic EfficiencyTime ComplexityControl Structure
A linear-time algorithm is presented for finding dominators in control flow graphs.MSC codes68Q2568N20Keywordscontrol flow analysisdominatorsalgorithms
19
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 5.9K citations