Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro Lopez-Garcia

Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions…