TY  - RPRT
TI  - Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
AU  - Daniela Ferreiro
AU  - Daniel Jurjo-Rivas
AU  - Marco Ciccalè
AU  - Jose F. Morales
AU  - Pedro López-García
AU  - Manuel Hermenegildo
PY  - 2026
UR  - https://arxiv.org/abs/2606.01076
ID  - 2606.01076
ER  -