CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2024


Technical Reports and Manuals:

  1. 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.

  2. 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 Fri Jul 12 04:48:08 PM CEST 2024