A formal framework for the derivation of machine-specific optimizers (1983)

by R GIEGERICH
Venue:ACM Transactions on Programming Languages and Systems