A Rule-Based Approach for Designing and Composing Abstract Domains | Publicación