CLIP Group's Publications in 2024
Technical Reports and Manuals:
- Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo.
An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants.
IMDEA Software Institute and Technical University of Madrid (UPM),
May
2024.
- Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán, Pedro López-García.
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.
2024.
Under consideration for publication in TPLP.
Last updated on Sat May 18 04:21:40 PM CEST 2024