Dominator tree certification and divergent spanning trees (Q4962208)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6968337
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8302273154258728
0 references
0.7846236228942871
0 references
0.7667000889778137
0 references
0.7462055087089539
0 references
0.7450203895568848
0 references
