A higher-order strategy for eliminating common subexpressions

R. Daniel Resler, Victor Winter

Research output: Contribution to journalArticlepeer-review


Optimizing compilers often perform an operation known as common subexpression elimination to improve code efficiency. Typically this is accomplished either by pruning a directed acyclic graph to replace eliminated subexpressions by memory fetches of stored values or by using partial-redundancy elimination, a data-flow analysis method. In this paper a higher-order strategic method is presented that rewrites expression trees to eliminate common subexpressions using equivalences in the lambda calculus. This approach offers several advantages-it is intuitive, transformations can be defined and applied within a high-level rewrite system, and it uses transformations for which correctness preservation can be proven.

Original languageEnglish (US)
Pages (from-to)341-364
Number of pages24
JournalComputer Languages, Systems and Structures
Issue number4
StatePublished - Dec 2009


  • Common subexpression elimination
  • Distributed data problem
  • Higher-order strategies
  • Program transformation
  • Rewriting
  • Strategic programming

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications


Dive into the research topics of 'A higher-order strategy for eliminating common subexpressions'. Together they form a unique fingerprint.

Cite this