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 41st 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 41st ICLP Workshops,
CEUR-WS.org,
September
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 Tue Sep 16 06:26:57 PM CEST 2025