Dear all:


I am working hard to optimize my ocaml program, but I am not sure whether the significantly modified version is equal to the old version.


So is there any research work on this topic?


Shen