Generalized dominators

DOI10.1016/0020-0190(94)00192-2MaRDI QIDQ674182zbMATH OpenOpenAlexFDO

Authors Rajiv Gupta

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(94)00192-2

zbMATH Keywords

Array bound checksCode hoistingCode optimizationControl flow graphLoop invariants

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Generalized dominators for structured programs
• Finding dominators via disjoint set union
• Algorithms – ESA 2004
• Computing dominators in parallel
• Generalized dominators for structured programs

Cites work

• A Simple Algorithm for Global Data Flow Analysis Problems
• A fast algorithm for finding dominators in a flowgraph
• Finding Dominators in Directed Graphs

Cited in

(6)

• Finding Dominators in Practice
• Generalized domination in closure systems
• Contification using dominators
• Generalized dominators for structured programs
• A GENERALIZED VERSION OF THE MCMULLEN DOMAIN
• An \(O(| V|^*| E|)\) algorithm for finding immediate multiple-vertex dominators

This page was built for publication: Generalized dominators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674182)