Series-Parallel-Loop Decompositions of Control-flow Graphs

Xuran Cai, Amir Goharshady, S Hitarth +1

Control-flow graphs (CFGs) of structured programs are well known to exhibit strong sparsity properties. Traditionally, this sparsity has been modeled using graph parameters such as…