A Rule-Based Approach for Designing and Composing Abstract Domains.

Daniel Jurjo-Rivas, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.