Publication

CORRECTNESS OF TRANSFORMATIONS ON REGISTER TRANSFERS

JONGEJAN, JH., Nov-1992, In : Science of computer programming. 19, 2, p. 153-169 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

  • JH JONGEJAN

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.

Original languageEnglish
Pages (from-to)153-169
Number of pages17
JournalScience of computer programming
Volume19
Issue number2
Publication statusPublished - Nov-1992

ID: 6330331