CLIP Group's Publications in 2026

Articles in Refereed Journals:

1. Daniela Ferreiro, Daniel Jurjo, Marco Ciccalè, José F. Morales, Pedro López-García, Manuel V. Hermenegildo. Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks. Theory and Practice of Logic Programming, To Appear, Cambridge University Press, July 2026.

2. Louis Rustenholz, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Abstractions of Sequences, Functions and Operators. Int'l. Journal on Software Tools for Technology Transfer, To Appear, Springer, March 2026. Special issue on CSV'25.

Articles in Refereed Conferences:

1. Daniel Jurjo, Joaquín Arias, Gopal Gupta, Jose F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming. Technical Communications of the 42nd International Conference on Logic Programming (ICLP 2026), Electronic Proceedings in Theoretical Computer Science (EPTCS), Open Publishing Association (OPA), July 2026.

2. Marco Pérez, Pedro Lopez-Garcia, Jose F. Morales, Manuel V. Hermenegildo, Fred Mesnard. Towards Relating Ciao Assertions and LPTP Theorems. Technical Communications of the 42nd International Conference on Logic Programming (ICLP 2026), Electronic Proceedings in Theoretical Computer Science (EPTCS), Open Publishing Association (OPA), July 2026.

3. Daniela Ferreiro, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Multi-Configurable Search Rules in Prolog and Application to Testing. 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, LNCS, Vol. 16401, pages 96-114, Springer, 2026.

Publications in Refereed Workshops:

1. L. Rustenholz, M.V. Hermenegildo, P. Lopez-Garcia, A. Mansutti, F. Ridoux, N. Vazou. Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners. 21st International Workshop on Termination (at FLoC 2026), July 2026.

2. Marco Ciccalè, Daniela Ferreiro, Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo. Demonstrating the Ciao Prolog Playground. Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026), Sistedes, 2026.

3. Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo. Multi-Configurable Search Rules in Prolog and Application to Testing. Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026), Sistedes, 2026.

4. 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. Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026), Sistedes, 2026.

---

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 Thu Jul 2 10:36:29 AM CEST 2026