Corrigendum: a new, simpler linear-time dominators algorithm
Abstract
Corrigendum to ACM Transactions on Programming Languages and Systems , 20(6):1265--1296, 1998.
Related papers
- A New, Simpler Linear-Time Dominators Algorithm TOPLAS 1998
- A Linear Time Algorithm for Placing phi-nodes POPL 1995
- On loops, dominators, and dominance frontiers TOPLAS 2002
- A parallel branch-and-bound algorithm with history-based domination PPoPP 2022
- Generalized Dominance and Control Dependence PLDI 1996
- Corrigendum: Decidable Bounded Quantification POPL 1995
- Corrigendum: Falcon: A Scalable Analytical Cache Model PLDI 2026
- Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16 TOPLAS 2020