Extending Abstract Acceleration Methods to Data−Flow Programs with Numerical Inputs
Peter Schrammel and Bertrand Jeannet
Journal
Electr. Notes Theor. Comput. Sci.
Number
1
Pages
101−114
Volume
267
Year
2010
Peter Schrammel and Bertrand Jeannet