Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs (Electr. Notes Theor. Comput. Sci., 2010)

(untitled) - Schrammel, P; Jeannet, B