Dear all:<div><br></div><div>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.</div><div><br></div><div>So is there any research work on this topic?</div><div><br></div><div>Shen</div>