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

R.K. Bera (India)

Keywords

Compilers, algorithms, optimization, statement blocks.

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.

Important Links:



Go Back