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]
No references recorded for this publication.
No citations of this publication recorded.