TOWARDS A SINGLE CRITERION FOR IDENTIFYING PROGRAM UNSTRUCTUREDNESS.

We introduce the concepts of fully embedded skeletons and partially overlapping skeletons in program flowgraphs. We show that only one cimple criterion is necessary and sufficient for the identification of program unstructuredness. Namely, a program flowgraph is unstructured if and only if it contains partially overlapping skeletons.link_to_subscribed_fulltex