Optimal code motion: Theory and practice (1994)

by Jens Knoop, Oliver Rüthing, Bernhard Steffen
Venue:ACM Transactions on Programming Languages and Systems