scientific article; zbMATH DE number 3908451

MaRDI QIDQ3686729zbMATH OpenFDO

Authors R. W. Whitty

Publication date 1985

zbMATH Keywords

control flow analysisdirected treesdisjoint branching theoremSequential programssequential programs

Mathematics Subject Classification ID

Trees (05C05) Directed graphs (digraphs), tournaments (05C20)

Recommendations

• Generalized structured programs and loop trees
• Dominator tree verification and vertex-disjoint paths
• On the degree of dominator trees
• Packing Spanning Trees
• scientific article; zbMATH DE number 1210360

Cited in

(5)

• A generalized mathematical theory of structured programming
• How to use spanning trees to navigate in graphs
• scientific article; zbMATH DE number 742889 (Why is no real title available?)
• Spanning trees and function classes
• Generalized structured programs and loop trees

This page was built for publication:

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