An algorithm for determining the equivalence of two blocks of assignment statements

Rajendra K. Bera. An algorithm for determining the equivalence of two blocks of assignment statements. In M. H. Hamza, editor, Proceedings of the IASTED Conference on Software Engineering and Applications, November 9-11, 2004, MIT, Cambridge, MA, USA. pages 731-735, IASTED/ACTA Press, 2004.

Authors

Rajendra K. Bera

This author has not been identified. Look up 'Rajendra K. Bera' in Google