Space consumption analysis by abstract interpretation: Reductivity properties ?
First space analysis for a functional language with regions. Our bounds go beyond multivariate polynomials. Our bounds have the property of reductivity, i.e. they improve by iteration. We have formally proved the correctness of all the results and implemented all the algorithms.
abstract interpretation functional languages regions resource analysis