Return to Article Details Register Optimisation by Equivalence Analysis Download Download PDF