Generalized dominators for structured programs

DOI10.1007/3-540-61739-6_32MaRDI QIDQ5030185zbMATH OpenOpenAlexFDO

Authors Stephen Alstrup, P. W. Lauridsen, Mikkel Thorup

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61739-6_32

zbMATH Keywords

dominator treegeneralize dominatorlinear-time algorithmtree decompositiontree node

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graph theory (including graph drawing) in computer science (68R10) Nonnumerical algorithms (68W05)

Recommendations

• Generalized dominators for structured programs
• scientific article; zbMATH DE number 1107741
• Finding Dominators in Practice
• Algorithms – ESA 2004
• Generalized dominators

Cites work

• A fast algorithm for finding dominators in a flowgraph
• A linear time algorithm for finding tree-decompositions of small treewidth
• A Simple Algorithm for Global Data Flow Analysis Problems
• An \(O(| V|^*| E|)\) algorithm for finding immediate multiple-vertex dominators
• Finding Dominators in Directed Graphs
• Generalized dominators
• scientific article; zbMATH DE number 3888887 (Why is no real title available?)
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 46118 (Why is no real title available?)
• scientific article; zbMATH DE number 1107741 (Why is no real title available?)
• Revised report on the algorithmic language ALGOL 60
• The programming language Pascal

Cited in

(5)

• On the degree of dominator trees
• Generalized dominators for structured programs
• A \(\min\)-\(\max\) relation in flowgraphs and some applications
• scientific article; zbMATH DE number 1926662 (Why is no real title available?)
• Generalized dominators

This page was built for publication: Generalized dominators for structured programs

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