CLIP Group's Publications in 2025
Articles in Refereed Journals:
- Marco Ciccalè, Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo.
Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
Theory and Practice of Logic Programming,
To Appear, Cambridge University Press,
September
2025.
- Daniela Ferreiro, Ignacio Casso, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
Checkification: A Practical Approach for Testing Static Analysis Truths.
Theory and Practice of Logic Programming,
To Appear, Cambridge U. Press,
May
2025.
Articles in Refereed Conferences:
- Paula Corral, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo.
Extending the FSyntax/Hiord Approach with Imperative Notation.
Proc. of the 35th International Symposium on
Logic-Based Program Synthesis and Transformation, LOPSTR 2025,
Lecture Notes in Computer Science,
Springer,
September
2025.
Books and Monographs:
- Ciccalè Baztán, Marco.
Towards Verification of Higher-Order (Constraint) Logic Programs via Abstract Interpretation.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
56 pages,
July
2025.
- Corral, Paula.
Imperative Notation for Logic Programming.
Ms. Thesis, Universidad Politécnica de Madrid, ETSIInf,
E-28660, Boadilla del Monte, Madrid, Spain,
74 pages,
June
2025.
BSc Thesis.
Publications in Refereed Workshops:
- Daniela Ferreiro.
Search-Guided Generation of Properties for Program Analyzers.
Technical Communications of the 41th ICLP,
September
2025.
ICLP Doctoral Consortium 2025.
- José F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo.
Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom.
Proceedings of the 41th ICLP Workshops,
2025.
Technical Reports and Manuals:
- Daniela Ferreiro, Ignacio Casso, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
Checkification: A Practical Approach for Testing Static Analysis Truths.
Num. CLIP-1/2025.0,
IMDEA Software Institute and Technical University of Madrid (UPM),
January
2025.
arXiv 2501.12093.




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 Fri Aug 1 04:09:01 PM CEST 2025