Optimization of equational programs using partial evaluation
David James Sherman, Robert I. Strandh, Irène Durand · 1991
We describe an application of partial evaluation to the optimization of Equational Logic programs.Our method treats the right-hand sides of reduction rules as partial input to subsequent reduction steps, allowing us to produce specialized forms of the rewriting system require complicated interpreters or semantic analysis.