activity
20212026
most citedA Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs

5 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2024 · cs.PLShow all

2 papers · 2 filters

cs.PL2024

An Order Theory Framework of Recurrence Equations for Static Cost Analysis Dynamic Inference of Non-Linear Inequality Invariants

Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales +1

Recurrence equations have played a central role in static cost analysis, where they can be viewed as abstractions of programs and used to infer resource usage information without a…

cs.PL2024★ 5 cited

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…