CLIP Group's Publications in 2025

Articles in Refereed Journals:

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

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

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

Technical Reports and Manuals:

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