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.