Automatic Structuring of Unstructured Programs (for C)

We interested in finding out about the current status in the field of
automatic structuring of imperative programs. More specifically, we are
interested in techniques for transforming C programs with gotos into
equivalent C programs without gotos.


Any information relating to the following would be very useful:


(1) Research done in the area of automatic restructuring of any imperative
        progamming language.


(2) Tools that already exist for structuring C programs.


(3) Examples of "hard-to-structure" programs that occur in real programs.


(4) Examples of "easy-to-structure" programs that occur in real programs.


(5) Why we need goto in C.




If there are many responses I will summarize.


Thanks, Laurie Hendren (hendren@cs.mcgill.ca)
[I find that the main place I still find gotos useful in C programs is to
do explicit tail merging, particularly in switch statements. -John]
--

Return to the comp.compilers page.
Search the comp.compilers archives again.