Multivariant Non-failure Analysis via Standard Abstract Interpretation.

Francisco Bueno, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full FLOPS paper archive.