Eliminating non-traversable paths from structured programs
Mark G. Pleszkoch, R.C. Linger, Alan R. Hevner · 2003
A formal procedure is given based on the use of regular expressions, to identify and eliminate nontraversable paths in a structured program. By reducing the use of control variables, the program is transformed into an unstructured variant and then restructured into a semantic equivalent of the original program with nontraversable paths eliminated. The authors demonstrate this procedure with an example and discuss its maintenance advantages.>