Multivariant Assertion-Based Guidance in Abstract Interpretation.

Isabel Garcia-Contreras, Jos F. Morales, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.