CLIP Group's Publications in 2024
Articles in Refereed Journals:
- Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Abstract Environment Trimming.
Theory and Practice of Logic Programming,
To Appear, Cambridge U. Press,
October
2024.
Special Issue on ICLP'24.
Articles in Refereed Conferences:
- Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
Proceedings of the 31st Static Analysis Symposium (SAS 2024),
LNCS,
Vol. 14995,
Springer,
October
2024.
Technical Reports and Manuals:
- Daniel Jurjo, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Abstract Environment Trimming.
Num. CLIP-2/2024.0,
IMDEA Software Institute and Technical University of Madrid (UPM),
May
2024.
- Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
Num. CLIP-1/2024.0,
IMDEA Software Institute and Technical University of Madrid (UPM),
May
2024.
- Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
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 Thu Sep 26 03:16:30 PM CEST 2024