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.
Abstract is missing.