CORRECTNESS OF TRANSFORMATIONS ON REGISTER TRANSFERSJONGEJAN, JH., Nov-1992, In : Science of computer programming. 19, 2, p. 153-169 17 p.
Research output: Contribution to journal › Article › Academic › peer-review
Common subexpression elimination (CSE) is a well-known method for code optimization in compilers. A key issue is the correctness of the program transformations performed. There are different versions of CSE but, to our knowledge, correctness proofs have not yet been published. The present paper contains a derivation of a version of CSE accompanied by a correctness proof based on the denotational semantics of the generated code.
|Number of pages||17|
|Journal||Science of computer programming|
|Publication status||Published - Nov-1992|