A Rule-Based Approach for Designing and Composing Abstract Domains - D Jurjo; J Morales; P Lopez-Garcia; M Hermenegildo (International Symposium On Logic-Based Program Synthesis And Transformation ?, 2023)