A UNIFORM APPROACH TO CONTROL FLOW GRAPHS OF PROGRAMS

DOI10.17654/FJAMOCT2015_027_049zbMath1328.68148MaRDI QIDQ3459810

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

graph reductioncontrol flow graphdecision graphsource code analysis

Mathematics Subject Classification ID

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

This page was built for publication: A UNIFORM APPROACH TO CONTROL FLOW GRAPHS OF PROGRAMS