Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs

Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. Electronic Notes in Theoretical Computer Science, 267(1):101-114, 2010. [doi]

Abstract

Abstract is missing.