A Rule-Based Approach for Designing and Composing Abstract Domains. - Daniel Jurjo; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2023)