Speeding up Programs
R. Bird · The Computer Journal · 1974
A simple programming language L is described with the property that each program in L can be transformed into an equivalent program in L which executes only half as many instructions. The transformation is illustrated by speeding up an example program.