CLIP Group's Publications in 2026
Articles in Refereed Journals:
- 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.
- 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:
- 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.
- 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.
- 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:
- Marco Ciccalè, José F. Morales, Pedro López-García, Manuel V. Hermenegildo.
Demonstrating the Top-Down Solver in a Box (Extended Abstract).
October
2026.
Presented at the 11th ACM SIGPLAN International Workshop on Numerical and
Symbolic Abstract Domains (NSAD 2026), colocated with SPLASH/ISSTA 2026.
- 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.
- 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.
- 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.
- 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 Fri Aug 28 10:13:47 AM CEST 2026