Java Programs do not have Bounded Treewidth
Abstract
We show that the control-flow graphs of Java programs, due to the labelled break and continue statements, have no upper bound on their treewidth. A single Java method containing $k$ labels and a loop nesting depth of $k+1$ can give a control-flow-graph with treewidth $2k+1$.
Domains
Other [cs.OH]
Loading...