Help with research on optimization techniques

Hello All,
I am requesting some assistance in researching my project,
"While to For loop conversion". The motivation for this transformation
is the fact that McGill has several optimizations for For loops that
don't exist for While loops. We would like to be able to optimize as
many loops as we can, including While loops.
My problem is that I can't find any previous work on this type
of source to source transformation. There are many papers on loop
detection, and Goto elimination, but nothing on While loop
transformations. I would be interested in any sources you could
recommend, or if anyone knows about proofs of loop equivalence,
showing that in fact While loops are equivalent to For loops.
Thank you in advance for any assistance provided,


Hisham Petry
abacus@cs.mcgill.ca
--

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