An Algorithm for Determining the Equivalence of Two Blocks of Assignment Statements

R.K. Bera (India)


Compilers, algorithms, optimization, statement blocks.


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.

Important Links:

Go Back