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

Abstract

A method is described which enables one to determine, at the source code level, if two given blocks of assignment statements are equivalent or not. The method therefore serves as a powerful pattern recognition algorithm for use in optimizing compilers.