A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Inferring Static Non-monotone Size-aware Types Through Testing
2008
Electronical Notes in Theoretical Computer Science
We propose a size analysis procedure that combines testing and type checking to automatically obtain static output-on-input size dependencies for first-order functions. Attention is restricted to functions for which the size of the result is strictly polynomial, not necessarily monotone, in the sizes of the arguments. To infer a size dependency, the procedure generates hypotheses for increasing degrees of polynomials. For each degree, a polynomial is defined by a finite number of points. Based
doi:10.1016/j.entcs.2008.06.033
fatcat:kbqg5uougzcz5gxex2ydb2rusq