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.
Publications in Refereed Workshops:
- Manuel V. Hermenegildo, José F. Morales, Pedro Lopez-Garcia.
Teaching Pure LP with Prolog and a Fair Search Rule.
Proceedings of the 40th ICLP Workshops,
Vol. 3799,
CEUR-WS.org,
October
2024.
Technical Reports and Manuals:
- F. Ridoux.
Improvements to the Auxiliary Analyses for Cost Analysis.
CLIP Lab, IMDEA Software Institute,
August
2024.
Master internship report. Supervised by P. Lopez-Garcia, M.V. Hermenegildo, J. F. Morales and L. Rustenholz..
- 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, 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.
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Last updated on Tue Oct 29 12:34:26 PM CET 2024