A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs

Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán +1

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…