Julien Zory Fabien Coelho Using Algebraic Transformations to Optimize Expression Evaluation in Scientific Codes. 376-384 1998 conf/IEEEpact/1998 IEEE PACT http://doi.ieeecomputersociety.org/10.1109/PACT.1998.727284 db/conf/IEEEpact/IEEEpact1998.html#ZoryC98