A uniform approach to control flow graphs of programs

DOI10.17654/FJAMOCT2015_027_049MaRDI QIDQ3459810zbMATH OpenFDO

Authors Robert Gold

Publication date 11 January 2016

Published in Far East Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL http://www.pphmj.com/abstract/9364.htm

zbMATH Keywords

control flow graphdecision graphgraph reductionsource code analysis

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Paths and cycles (05C38) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Control flow graphs and code coverage
• A unifying theory of control dependence and its application to arbitrary program structures
• A generalized mathematical theory of structured programming
• scientific article; zbMATH DE number 3854448
• scientific article; zbMATH DE number 1535458

Cited in

(6)

• On the detection of unstructuredness in flowgraphs
• Control flow graphs and code coverage
• Widening with Thresholds for Programs with Complex Control Graphs
• scientific article; zbMATH DE number 2079640 (Why is no real title available?)
• A theory for control-flow graph exploration
• Computational Science and Its Applications – ICCSA 2004

This page was built for publication: A uniform approach to control flow graphs of programs

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