Christophe Alias Fabrice Baray Alain Darte Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose. 73-82 2007 conf/lctrts/2007 LCTES http://doi.acm.org/10.1145/1254766.1254778 db/conf/lctrts/lctes2007.html#AliasBD07