Derivation Tree Analysis for Accelerated Fixed-Point Computation

by Javier Esparza, Stefan Kiefer, Michael Luttenberger