|Regarding transforming Control Flow Graph email@example.com (Deep.V...@gmail.com) (2005-04-11)|
|Re: Regarding transforming Control Flow Graph firstname.lastname@example.org (Aaron Gray) (2005-04-16)|
|From:||"Aaron Gray" <email@example.com>|
|Date:||16 Apr 2005 11:12:05 -0400|
|Organization:||Customer of PlusNet plc (http://www.plus.net)|
> I am doing a project where I have to modify the program so that only
> subset of its path are retained and remove rest of the portions.
> For this I have to modify the control flow graph retaining necessary
> paths and pruning rest. What are the suffecient criterion to say that
> the transformations are legible. Some of them which I can think are-
> retaining dependencies, ensure return values.
> Is there any criterion which I have to prove (to be valid), for arguing
> that my transformations are correct.
This may help, have a look at the "Static Single Assignment" lecture
Formal proof is another matter though.
Return to the
Search the comp.compilers archives again.