Dominator Tree Certification and Divergent Spanning Trees (Q4962208)
From MaRDI portal
scientific article; zbMATH DE number 6968337
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dominator Tree Certification and Divergent Spanning Trees |
scientific article; zbMATH DE number 6968337 |
Statements
Dominator Tree Certification and Divergent Spanning Trees (English)
0 references
30 October 2018
0 references
connectivity
0 references
depth-first search
0 references
directed graph
0 references
dominators
0 references
dynamic list
0 references
flow graph
0 references
global code optimization
0 references
program certification
0 references
